Combinatory Logic, Language, and Cognitive Representations

The aim of logic is not only a study of correct reasoning or a mathematical analysis of formal systems:

[1]  Ismaïl Biskri,et al.  Logique combinatoire et linguistique : grammaire catégorielle combinatoire applicative , 1995 .

[2]  Paul Hudak,et al.  Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language , 1997, LACL.

[3]  Y. Bar-Hillel.  A Quasi-Arithmetical Notation for Syntactic Description , 1953 .

[4]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[5]  Johan van Benthem,et al.  Language in action , 1991, J. Philos. Log..

[6]  Emmon W. Bach,et al.  Categorial Grammars and Natural Language Structures , 1988 .

[7]  J. Roger Hindley,et al.  Introduction to Combinators and Lambda-Calculus , 1986 .

[8]  Jean-Pierre Desclés,et al.  Theoretical Analysis of Reflexivization in the Framework of Applicative Grammar , 1986 .

[9]  M. Schönfinkel.  Über die Bausteine der mathematischen Logik , 1924 .

[10]  Frederic B. Fitch.  Elements of combinatory logic , 1974 .

[11]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[12]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[13]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[14]  Jean-Pierre Desclés.  La double négation dans l'Unum Argumentum analysé à l'aide de la logique combinatoire , 1991 .

[15]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[16]  Dana S. Scott,et al.  Some philosophical issues concerning theories of combinators , 1975, Lambda-Calculus and Computer Science Theory.

[17]  Jean-Pierre Desclés,et al.  Theoretical aspects of passivization in the framework of applicative grammar , 1985 .

[18]  Joachim Lambek,et al.  Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic , 1972 .

[19]  Haskell B. Curry.  Grundlagen der kombinatorischen Logik , 1930 .

[20]  Emmon Bach,et al.  Categorial Grammars as Theories of Language , 1988 .

[21]  Henk Barendregt,et al.  The Lambda Calculus: Its Syntax and Semantics , 1985 .