Morrill Glyn V. Categorial Grammar: Logical Syntax, Semantics, and Processing

Oxford University Press. 2011. — 236 p. — ISBN: 0199589852, 0199589860.This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyzes expressions as functions or according to a function-argument relationship. The book's focus is on linguistic, computational, and psycholinguistic aspects of logical categorial grammar, i.e. enriched Lambek Calculus. Glyn Morrill opens with the history and notation of Lambek Calculus and its application to syntax, semantics, and processing. Successive chapters extend the grammar to a number of significant syntactic and semantic properties of natural language. The final part applies Morrill's account to several current issues in processing and parsing, considered from both a psychological and a computational perspective. The book offers a rigorous and thoughtful study of one of the main lines of research in the formal and mathematical theory of grammar, and will be suitable for students of linguistics and cognitive science from advanced undergraduate level upwards.Lambek Categorial GrammarSyntax
Semantics
Processing
Logical Categorial Grammar
Bracket operators for extraction
Discontinuity operators
Additive operators for polymorphism
Modality for intensionality
Further Processing Issues
Aphasic comprehension
Lexico-syntactic interaction
Memoizing Lambek theorem-provingMathematical background
Prolog Implementation