Show Summary Details

Page of

PRINTED FROM OXFORD HANDBOOKS ONLINE ( © 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: 15 September 2019

Abstract and Keywords

In categorial grammar, expressions are classified by structured types. The set of types is the recursive closure of a set of atomic types under a number of type-constructors, so that types are algebraic terms like arithmetic expressions or logical formulas. The rules of categorical grammar are supposed to express the laws obeyed by the types according to the ‘meaning’ of the type-constructors. A set of such rules forms a deductive system or logical calculus. A categorial grammar consists of a system of types, a calculus for those types, and a lexicon that is an assignment of types to basic expressions. The language thereby defined consists of the expressions derivable from the lexicon by the calculus. In the purest form of categorial grammar, the calculus would express all and only the laws of the types, and would be universal. This chapter discusses the following: Lambek calculus, basic discontinuous Lambek calculus, syntactic structures as proof nets, categorial semantics, and quantifier scoping and quantifier scope preference.

Keywords: categorial grammar, calculus, Lambek calculus, syntactic structures, semantics, quantifier scoping

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.