The Logic of Categorial Grammars
A deductive account of natural language syntax and semantics
Authors: Moot, Richard, Retore, Christian
Free Preview- Unique visibility
- Up-to-date results
- State-of-the-art research
Buy this book
- About this Textbook
-
This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
- Table of contents (7 chapters)
-
-
Classical Categorial Grammars: AB Grammars
Pages 1-22
-
A Logic for Categorial Grammars: Lambek’s Syntactic Calculus
Pages 23-63
-
Lambek Calculus and Montague Grammar
Pages 65-99
-
The Non-associative Lambek Calculus
Pages 101-147
-
The Multimodal Lambek Calculus
Pages 149-191
-
Table of contents (7 chapters)
Buy this book
Services for this Book
Bibliographic Information
- Bibliographic Information
-
- Book Title
- The Logic of Categorial Grammars
- Book Subtitle
- A deductive account of natural language syntax and semantics
- Authors
-
- Richard Moot
- Christian Retore
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 6850
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-31555-8
- DOI
- 10.1007/978-3-642-31555-8
- Softcover ISBN
- 978-3-642-31554-1
- Edition Number
- 1
- Number of Pages
- X, 300
- Number of Illustrations
- 69 b/w illustrations
- Topics
