The Logic of Categorial Grammars
Produktnummer:
18d019fbff1255452a89dbcb9b7d8e69b6
| Autor: | Moot, Richard Retore, Christian |
|---|---|
| Themengebiete: | Lambek calculus computational linguistics linear logic natural language processing proof theory |
| Veröffentlichungsdatum: | 02.07.2012 |
| EAN: | 9783642315541 |
| Sprache: | Englisch |
| Seitenzahl: | 300 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | A deductive account of natural language syntax and semantics |
Produktinformationen "The Logic of Categorial Grammars"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen