- (1 other version)The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.details
|
|
(1 other version)Multimodal Linguistic Inference.Michael Moortgat - 1995 - Logic Journal of the IGPL 3 (2-3):371-401.details
|
|
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.details
|
|
(1 other version)Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar.L. T. F. Gamut - 1990 - University of Chicago Press.details
|
|
(1 other version)The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
(1 other version)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
|
|
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.details
|
|
Type-driven translation.Ewan Klein & Ivan A. Sag - 1985 - Linguistics and Philosophy 8 (2):163 - 201.details
|
|
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.details
|
|
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.details
|
|
(1 other version)Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.details
|
|
Descriptions.S. Neale - 1996 - Critica 28 (83):97-129.details
|
|
(1 other version)Multimodal linguistic inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.details
|
|
Intensionality and boundedness.Glyn Morrill - 1990 - Linguistics and Philosophy 13 (6):699 - 726.details
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.details
|
|
Language in Action: Categories, Lambdas and Dynamic Logic.Johan van Benthem - 1995 - MIT Press.details
|
|