Show Summary Details

Page of

PRINTED FROM OXFORD HANDBOOKS ONLINE (www.oxfordhandbooks.com). © Oxford University Press, 2018. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a title in Oxford Handbooks Online for personal use (for details see Privacy Policy and Legal Notice).

date: 26 May 2019

Abstract and Keywords

Categorial grammar predates Syntactic Structures by two decades. Characterized by classification of expressions by recursively defined types, it is highly lexicalist or, as in the formulation pursued here, purely lexicalist. The chapter address continuity (concatenation) and discontinuity (interpoloation), categorial syntactic structures as proof nets, Curry-Howard type-logical semantics, and complexity and acceptability.

Keywords: categorial grammar, Lambek calculus, discontinuous Lambek calculus, Type Logical Grammar, categorial proof nets, Curry-Howard semantics, complexity and performance

Access to the complete content on Oxford Handbooks Online requires a subscription or purchase. Public users are able to search the site and view the abstracts and keywords for each book and chapter without a subscription.

Please subscribe or login to access full text content.

If you have purchased a print title that contains an access token, please see the token for information about how to register your code.

For questions on access or troubleshooting, please check our FAQs, and if you can''t find the answer there, please contact us.