- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Categorial Grammar and Type Theory
Journal of Philosophical Logic 19 (2):115-168 (1990)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Categorial grammar and type theory.Johan Benthem - 1990 - Journal of Philosophical Logic 19 (2):115 - 168.
Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. Stanford, CA: CSLI Publications. pp. 259-279.
Categorial Grammar and the Logical Form of Quantification. [REVIEW]John T. Kearns - 1986 - Philosophical Review 95 (1):127-129.
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar.Aarne Ranta - 1995 - Logic Journal of the IGPL 3 (2-3):319-342.
The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.
Non‐associative Lambek Categorial Grammar in Polynomial Time.Erik Aarts & Kees Trautwein - 1995 - Mathematical Logic Quarterly 41 (4):476-484.
The Soundness of Internalized Polarity Marking.Lawrence S. Moss - 2012 - Studia Logica 100 (4):683-704.
Partial proof trees as building blocks for a categorial grammar.Aravind K. Joshi & Seth Kulick - 1997 - Linguistics and Philosophy 20 (6):637-667.
Nominalization and Montague grammar: A semantics without types for natural languages.Gennaro Chierchia - 1982 - Linguistics and Philosophy 5 (3):303 - 354.
Analytics
Added to PP
2015-02-05
Downloads
17 (#819,600)
6 months
4 (#698,851)
2015-02-05
Downloads
17 (#819,600)
6 months
4 (#698,851)
Historical graph of downloads
Author's Profile
Citations of this work
Ellipsis and higher-order unification.Mary Dalrymple, Stuart M. Shieber & Fernando C. N. Pereira - 1991 - Linguistics and Philosophy 14 (4):399 - 452.
Logical constants across varying types.Johan van Benthem - 1989 - Notre Dame Journal of Formal Logic 30 (3):315-342.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
References found in this work
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Boolean Semantics for Natural Language.Edward L. Keenan & Leonard M. Faltz - 1987 - Studia Logica 46 (4):401-404.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo