The logic of categorial grammars : a deductive account of natural language syntax and semantics

著者

• Moot, Richard
• Retoré, Christian

書誌事項

The logic of categorial grammars : a deductive account of natural language syntax and semantics

Richard Moot, Christian Retoré

（Lecture notes in computer science, 6850 . FoLLI publications on logic, language and information）

Springer, c2012

• : pbk.

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB24862382
• ISBN:
  • 9783642315541
• LCCN: 2012940852
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Heidelberg
• ページ数/冊数: xviii, 302 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 006.35
• 件名:
  • LCSH : Computational linguistics
  • LCSH : Grammar, Comparative and general -- Grammatical categories
• 親書誌ID:
  • BA00009279