Term-labeled categorial type systems

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

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

External links

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

Through your library

Similar books and articles

Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Hybrid Categorial Logics.Mark Hepple - 1995 - Logic Journal of the IGPL 3 (2-3):343-355.
Formal Grammar: Theory and Implementation.Robert Levine (ed.) - 1992 - New York: Oxford University Press USA.
Tree models and (labeled) categorial grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.
Cross-categorial restrictions on measure phrase modification.Yoad Winter - 2004 - Linguistics and Philosophy 28 (2):233 - 267.
Intuitionistic categorial grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.
Formal Grammar.Robert Levine - 1995 - Logic Journal of the IGPL 3 (1):158-158.
A cross-categorial semantics for coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.
On the treatment of complex predicates in categorial grammar.Beom-Mo Kang - 1995 - Linguistics and Philosophy 18 (1):61 - 81.
Cross-categorial semantics for conjoined common nouns.Merrie Bergmann - 1982 - Linguistics and Philosophy 5 (3):399 - 401.

Analytics

Added to PP
2009-01-28

Downloads
119 (#181,135)

6 months
15 (#202,268)

Historical graph of downloads
How can I increase my downloads?

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.

View all 20 references / Add more references