论文信息 - Categorisation: A Logical Approach to a Cognitive problem - 字舞流文

Categorisation: A Logical Approach to a Cognitive problem

Jean-Pierre Descles

[1] J. Heijenoort. The Basic Laws of Arithmetic: Exposition of the System , 1966 .

[2] Rasmus Lerdorf,et al. Introduction to combinatory logic , 1972 .

[3] Jean-Pierre Desclés. Implication entre concepts : la notion de typicalité , 1986 .

[4] Christine Froidevaux. La fonction logique $\varepsilon $ de Hilbert à travers les «Grundlagen der Mathematik» , 1983 .

[5] Jean-Pierre Desclés. La logique combinatoire, types, preuves et lanage naturel , 1997 .

[6] Jean-Pierre Desclés,et al. Axiomatisation de la notion de repérage abstrait , 1982 .

[7] Jean-Pierre Desclés,et al. Quantification without bound variables , 2000 .