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.
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.
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 Informàtics, Universitat Politècnica 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).
Inhaltsangabe
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