Amazon cover image
Image from Amazon.com

The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 6850. | Lecture notes in computer science. Tutorial. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2012.Description: 1 online resource (xviii, 302 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642315558
  • 3642315550
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 006.3/5 23
LOC classification:
  • P98 .M66 2012
Online resources:
Contents:
Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.
Summary: Annotation 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, Lambeks 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.

Includes bibliographical references and index.

Online resource; title from PDF title page (SpringerLink, viewed August 9, 2012).

Annotation 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, Lambeks 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.

English.

Powered by Koha