Sciweavers

IJAIT
2006

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

13 years 3 months ago
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
Jean-Pierre Desclés, Anca Pascu
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where IJAIT
Authors Jean-Pierre Desclés, Anca Pascu
Comments (0)