ENGLISH

The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics

By Richard Moot , Christian Retoré (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
978-3-642-31554-1, 978-3-642-31555-8
DOI
10.1007/978-3-642-31555-8
Language
english
Format
PDF
Filesize
2 MB (2201322 bytes)
Series
Lecture Notes in Computer Science 6850
Edition
1
Pages
300\322
Topic
Mathematics Logic
Library
Kolxo3
Orientation
yes
Scanned
no
Time added
2012-08-09 07:36:00
CompilersInterpreMathematical Logic and Formal Languages; Artificia

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.

Similar books