- A Short Introduction to Intuitionistic Logic.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.details
|
|
Boolean Semantics for Natural Language.Edward Louis Keenan & L. M. Faltz - 1984 - Dordrecht, Netherland: Springer.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Some 3-Dimensional Systems of Labelled Deduction.Dick Oehrle - 1995 - Logic Journal of the IGPL 3 (2-3):429-448.details
|
|
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Boolean Semantics for Natural Language.Lawrence S. Moss - 1987 - Journal of Symbolic Logic 52 (2):554-555.details
|
|
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.Philippe Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.details
|
|
On the expressive power of abstract categorial grammars: Representing context-free formalisms. [REVIEW]Philippe de Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.details
|
|
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.details
|
|
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.details
|
|
A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.details
|
|
Lectures on Government and Binding.Noam Chomsky - 1981 - Foris.details
|
|
Semantics in generative grammar.Irene Heim & Angelika Kratzer - 1998 - Malden, MA: Blackwell. Edited by Angelika Kratzer.details
|
|
Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.details
|
|
Boolean Semantics for Natural Language.Edward L. Keenan & Leonard M. Faltz - 1987 - Studia Logica 46 (4):401-404.details
|
|