Categorial Grammar Logical Syntax, Semantics, and Processing

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.

Glyn Morrill teaches in the Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalyunya. After receiving his degree in Computer Science from Cambridge (1984), he completed an MSc and PhD in Cognitive Science at the Centre for Cognitive Science, University of Edinburgh, working on formal and computational grammar, and in particular categorial grammar. He has worked as a researcher at Edinburgh, Utrecht/Amsterdam and since 1991 has taught at the Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya in the areas of logic, theory of computation, linguistics, and computational linguistics. He is the author of Type Logical Grammar: Categorial Logic of Signs (Kluwer Academic Publishers, 1994), and L`ogica de primer ordre (Edicions UPC, 2001).

I Lambeck Categorial Grammar
1. Introduction
2. Syntax
3. Semantics
4. Processing
II Logical Categorial Grammar
5. Bracket Operators for Extraction
6. Discontinuity Operators
7. Additive Operators for Polymorphism
8. Modality for Intensionality
III Further Processing Issues
9. Aphasic Comprehension
10. Lexico-Syntactic Interaction
11. Memoising Lambek Theorem-proving
12. Conclusion
A. Methematical Background
B. Prolog Implementation
References
Index