Read more
Informationen zum Autor 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). Klappentext 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. Zusammenfassung 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. Inhaltsverzeichnis 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 ...
