Moot, Richard.
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics / [electronic resource] : by Richard Moot, Christian Retoré. - X, 300 p. 69 illus. online resource. - Lecture Notes in Computer Science, 6850 0302-9743 ; . - Lecture Notes in Computer Science, 6850 .
This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computational and linguistic relevance of categorial grammars. Chapters: 1) AB grammars, 2) Lambek's Syntactic Calculus, 3) Lambek Calculus and Montague Grammar, 4) The non-associative Lambek calculus, 5) The multimodal Lambek calculus, 6) Proof nets for linear logic and the Lambek calculus, 7) Multimodal proof nets.
9783642315558
10.1007/978-3-642-31555-8 doi
Computer science.
Computer software.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Foundations.
Programming Languages, Compilers, Interpreters.
QA8.9-QA10.3
005.131
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics / [electronic resource] : by Richard Moot, Christian Retoré. - X, 300 p. 69 illus. online resource. - Lecture Notes in Computer Science, 6850 0302-9743 ; . - Lecture Notes in Computer Science, 6850 .
This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computational and linguistic relevance of categorial grammars. Chapters: 1) AB grammars, 2) Lambek's Syntactic Calculus, 3) Lambek Calculus and Montague Grammar, 4) The non-associative Lambek calculus, 5) The multimodal Lambek calculus, 6) Proof nets for linear logic and the Lambek calculus, 7) Multimodal proof nets.
9783642315558
10.1007/978-3-642-31555-8 doi
Computer science.
Computer software.
Logic design.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Foundations.
Programming Languages, Compilers, Interpreters.
QA8.9-QA10.3
005.131