TY  - BOOK
AU  - Moot,Richard
AU  - Retoré,Christian
TI  - The logic of categorial grammars: a deductive account of natural language syntax and semantics 
T2  - Lecture notes in computer science,
SN  - 9783642315558
AV  - P98 .M66 2012
U1  - 006.3/5 23
PY  - 2012///
CY  - Berlin, New York
PB  - Springer
KW  - Computational linguistics
KW  - Grammar, Comparative and general
KW  - Grammatical categories
KW  - Linguistique informatique
KW  - Catégories grammaticales
KW  - computational linguistics
KW  - aat
KW  - Informatique
KW  - eclas
KW  - fast
KW  - Computer science
KW  - Computer software
KW  - Logic design
KW  - Artificial intelligence
KW  - Logic, Symbolic and mathematical
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Algorithm Analysis and Problem Complexity
KW  - Mathematical Logic and Foundations
KW  - Programming Languages, Compilers, Interpreters
KW  - Software
KW  - lcgft
N1  - Includes bibliographical references and index; Classical Categorial Grammars: AB Grammars --; A Logic for Categorial Grammars: Lambek's Syntactic Calculus --; Lambek Calculus and Montague Grammar --; The Non-associative Lambek Calculus --; The Multimodal Lambek Calculus --; Lambek Calculus and Linear Logic: Proof Nets as Parse Structures --; Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser
N2  - Annotation; 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, Lambeks 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
UR  - https://link.springer.com/10.1007/978-3-642-31555-8
ER  -