- Syntactic Structures.Noam Chomsky - 1957 - Mouton.details
|
|
Type-logical semantics.Bob Carpenter - 1997 - Cambridge: MIT Press.details
|
|
Syntactic Structures.J. F. Staal - 1966 - Journal of Symbolic Logic 31 (2):245-251.details
|
|
Infinitary Action Logic: Complexity, Models and Grammars.Wojciech Buszkowski & Ewa Palka - 2008 - Studia Logica 89 (1):1-18.details
|
|
The Blind Spot: Lectures on Logic.Jean-Yves Girard - 2011 - Zurich, Switzerland: European Mathematical Society.details
|
|
Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.details
|
|
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.details
|
|
The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.details
|
|
Intensionality and boundedness.Glyn Morrill - 1990 - Linguistics and Philosophy 13 (6):699 - 726.details
|
|
Grammar logicised: relativisation.Glyn Morrill - 2017 - Linguistics and Philosophy 40 (2):119-163.details
|
|
Multimodal linguistic inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.details
|
|
Multimodal Linguistic Inference.Michael Moortgat - 1995 - Logic Journal of the IGPL 3 (2-3):371-401.details
|
|
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.details
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.details
|
|
Introduction to Montague Semantics.David R. Dowty, Robert Eugene Wall & Stanley Peters - 1981 - Springer.details
|
|
Language in Action: Categories, Lambdas and Dynamic Logic.Johan van Benthem - 1995 - MIT Press.details
|
|
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.details
|
|
The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.details
|
|
Categorial Type Logics.Michael Moortgat - 1997 - In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier.details
|
|
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|