商品簡介
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), completed an MSc and PhD (1988) 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 and Utrecht/Amsterdam, and since 1991 has taught at the Department 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 Logica de primer ordre (Edicions UPC, 2001).
作者簡介
Glyn Morrill teaches in the Departament de Llenguatges i Sistemes Informi??tics, Universitat Politi??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).
