| 書目名稱 | The Logic of Categorial Grammars |
| 副標題 | A deductive account |
| 編輯 | Richard Moot,Christian Retoré |
| 視頻video | http://file.papertrans.cn/914/913227/913227.mp4 |
| 概述 | Unique visibility.Up-to-date results.State-of-the-art research |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | 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. |
| 出版日期 | Textbook 2012 |
| 關(guān)鍵詞 | Lambek calculus; computational linguistics; linear logic; natural language processing; proof theory |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-31555-8 |
| isbn_softcover | 978-3-642-31554-1 |
| isbn_ebook | 978-3-642-31555-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2012 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-20 19:03
發(fā)表于 2025-3-21 18:23:41
