Overview
- Unique visibility
- Up-to-date results
- State-of-the-art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6850)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
Authors and Affiliations
Bibliographic Information
Book Title: The Logic of Categorial Grammars
Book Subtitle: A deductive account of natural language syntax and semantics
Authors: Richard Moot, Christian Retoré
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-31555-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-31554-1Published: 02 July 2012
eBook ISBN: 978-3-642-31555-8Published: 30 June 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 300
Number of Illustrations: 69 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Computational Linguistics, Logics and Meanings of Programs, Linguistics, general, Logic, Programming Languages, Compilers, Interpreters