Studies on natural logic and categorial grammar

[1]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[2]  H. B. Curry.  A note on the reduction of Gentzen's calculus $LJ$ , 1939 .

[3]  E. M. Barth,et al.  The Logic of the Articles in Traditional Philosophy: A Contribution to the Study of Conceptual Structures , 1974 .

[4]  L. T. F. Gamut.  Logic, language, and meaning , 1991 .

[5]  A. Troelstra,et al.  Constructivism in Mathematics: An Introduction , 1988 .

[6]  H. Bedmann,et al.  Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem , 1922 .

[7]  J. Benthem.  Categorial Grammar and Lambda Calculus , 1987 .

[8]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[9]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

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

[11]  M. Dummett.  Frege: Philosophy of Language , 1973 .

[12]  A. Tarski.  Truth and proof. , 1969, Scientific American.

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

[14]  Patrick Suppes,et al.  Approaches to Natural Language , 1973 .

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

[16]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[17]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[18]  J. Benthem.  Essays in Logical Semantics , 1986 .

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