The Logic of Categorial Grammars [electronic resource] :A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré.
by Moot, Richard [author.]; Retoré, Christian [author.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6850Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: X, 300 p. 69 illus. online resource.ISBN: 9783642315558.Subject(s): 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, InterpretersDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA8.9-QA10.3 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| TA405-409.3 Computational Contact Mechanics | Q334-342 Machine Learning and Data Mining in Pattern Recognition | QA641-670 An Introduction to Compactness Results in Symplectic Field Theory | QA8.9-QA10.3 The Logic of Categorial Grammars | Q334-342 Advances in Brain Inspired Cognitive Systems | QA613-613.8 Diffeomorphisms of Elliptic 3-Manifolds | Q334-342 Articulated Motion and Deformable Objects |
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.
There are no comments for this item.