This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses 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.
After receiving his degree in Computer Science from Cambridge (1984), Glyn Morrill 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; II LOGICAL CATEGORIAL GRAMMAR; III FURTHER PROCESSING ISSUES