• Free shipping
  • More than one million students ordered here

The Logic of Categorial Grammars

ebook

9783642315558 - The Logic of Categorial Grammars
Secondhand

Article description

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.

Specifications

ISBN/EAN 9783642315558
Type ebook i
License duration Read ebook online: 365 days
Read ebook offline: perpetual
Can't be ordered

Article description

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.

Specifications

ISBN/EAN 9783642315558
Type ebook i
License duration Read ebook online: 365 days
Read ebook offline: perpetual