Logic of Determination of Objects: the Meaning of Variable in Quantification

This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of Determination of Objects (LDO) provides an explanation for the necessary distinction between "whatever, any" and "indetermi

• Type: Journal
• Year: 2006
• Where: IJAIT
• Authors: Jean-Pierre Desclés, Anca Pascu
• Keywords: Analysis, Bound Variables, Combinatory Logic, IJAIT 2006