The Logic of Categorial Grammars - A deductive account of natural language syntax and semantics (Paperback, 2012 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 6850
Release date:	July 2012
First published:	2012
Authors:	Richard Moot • Christian Retore
Dimensions:	235 x 155 x 17mm (L x W x T)
Format:	Paperback
Pages:	300
Edition:	2012 ed.
ISBN-13:	978-3-642-31554-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-642-31554-2
Barcode:	9783642315541

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!