Term-labeled categorial type systems

Linguistics and Philosophy 17 (6):633 - 678 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00985321

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionistic categorial grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.
On the treatment of complex predicates in categorial grammar.Beom-Mo Kang - 1995 - Linguistics and Philosophy 18 (1):61 - 81.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Partial proof trees as building blocks for a categorial grammar.Aravind K. Joshi & Seth Kulick - 1997 - Linguistics and Philosophy 20 (6):637-667.
A cross-categorial semantics for coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.
Categorial grammar and type theory.Johan Van Benthem - 1990 - Journal of Philosophical Logic 19 (2):115-168.
Cross-categorial semantics for conjoined common nouns.Merrie Bergmann - 1982 - Linguistics and Philosophy 5 (3):399-401.
Categorial grammars determined from linguistic data by unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431-454.
Cross-categorial restrictions on measure phrase modification.Yoad Winter - 2004 - Linguistics and Philosophy 28 (2):233 - 267.
Categorial Type Logics.Michael Moortgat - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen, Handbook of Logic and Language. Elsevier.

Analytics

Added to PP
2009-01-28

Downloads
242 (#169,550)

6 months
49 (#173,934)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.
Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof, Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.

View all 19 citations / Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Formal Philosophy.Richmond H. Thomason (ed.) - 1974 - Yale University Press.
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.

View all 22 references / Add more references