The Logic of Categorial Grammars - A deductive account of natural language syntax and semantics

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.

Zusammenfassung

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.

Produktdetails

• Autoren: Richar Moot, Richard Moot, Christian Retore
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 04.06.2012
• EAN: 9783642315541
• ISBN: 978-3-642-31554-1
• Seiten: 300
• Abmessung: 156 mm x 235 mm x 17 mm
• Gewicht: 516 g
• Illustration: X, 300 p. 69 illus.
• Serien: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik; B, Linguistics, Logic, computer science, Linguistics, general, Theory of Computation, Logics and Meanings of Programs, Language: history & general works, Programming Languages, Compilers, Interpreters, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Foundations, Philosophy: logic, Mathematical Logic and Formal Languages, Computational Linguistics, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic