{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:52:47Z","timestamp":1725544367529},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2006,12]]},"abstract":"<jats:p> This article constitutes a contribution to an analysis of the notion of variable. Within 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 \"indeterminate, indefinite\" used by the introduction and elimination rules of quantifiers in Natural Deduction. The intension of a concept and typical and atypical occurrences of a concept are also introduced yielding new quantifiers which are more adequate to natural language processing (NPL) and to the study of natural inferences in common reasoning. <\/jats:p>","DOI":"10.1142\/s0218213006003107","type":"journal-article","created":{"date-parts":[[2006,12,15]],"date-time":"2006-12-15T11:50:55Z","timestamp":1166183455000},"page":"1041-1052","source":"Crossref","is-referenced-by-count":6,"title":["LOGIC OF DETERMINATION OF OBJECTS: THE MEANING OF VARIABLE IN QUANTIFICATION"],"prefix":"10.1142","volume":"15","author":[{"given":"JEAN-PIERRE","family":"DESCL\u00c9S","sequence":"first","affiliation":[{"name":"Universite Paris-Sorbonne, LALICC, CNRS, 28, rue Serpente, Paris, 75006, France"}]},{"given":"ANCA","family":"PASCU","sequence":"additional","affiliation":[{"name":"Universite de Bretagne Occidentale, LALICC, CNRS, 20, rue Duquesne, Brest, 29200, France"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"Principles of Mathematics","author":"Russell B.","year":"1956"},{"key":"rf2","volume-title":"Combinatory Logic","author":"Curry H. B.","year":"1958"},{"key":"rf3","volume-title":"Langages applicatifs, langage naturelles et cognition","author":"Descl\u00e9s J. P.","year":"1990"},{"key":"rf4","first-page":"360","volume":"21","author":"Hudak P.","journal-title":"ACM Computing Surveys"},{"key":"rf5","volume-title":"Untersuchungen \u00fcber das logische Schlie\u00dfen - Recherches sur la d\u00e9duction logique","author":"Gentzen G.","year":"1955"},{"key":"rf6","volume-title":"Elements of Combinatory Logic","author":"Fitch F.","year":"1974"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02962-6"},{"key":"rf9","series-title":"Aristotelian Society Series","volume-title":"Reasoning with Arbitrary Objects","volume":"3","author":"Fine K.","year":"1985"},{"key":"rf10","first-page":"85","volume":"3","author":"Descl\u00e9s J.-P.","journal-title":"Journal of Cognitive Science"},{"key":"rf13","volume-title":"Begriffsschrift. Eine Formelsprache des reinen Denkens","author":"Frege G.","year":"1879"},{"key":"rf14","volume-title":"The Basic Laws of Arithmetic","author":"Frege G.","year":"1967"},{"key":"rf15","volume-title":"The Calculi of Lambda Conversion","author":"Church A.","year":"1941"},{"key":"rf16","unstructured":"J.P.\u00a0Descl\u00e9s and Z.\u00a0Guentceva, Variable-free Semantic, eds. \u00a0B\u0151ttner and \u00a0Th\u00fcmmel (Secolo Verlag, Rolandsmauer 13-14, Osnabr\u00fcck, 2001)\u00a0pp. 210\u2013233."},{"key":"rf17","volume-title":"Logique-m\u00e9thodes pour l'intelligence artificielle","author":"Gochet P.","year":"2000"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213006003107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:55:32Z","timestamp":1565196932000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213006003107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":14,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2006,12]]}},"alternative-id":["10.1142\/S0218213006003107"],"URL":"https:\/\/doi.org\/10.1142\/s0218213006003107","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}