.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Richard Moot
€ 94.81
FREE Delivery in Ireland
Description for The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 300 pages, 69 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 158 x 235 x 17. Weight in Grams: 488.
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.
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.
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
300
Place of Publication
Berlin, Germany
ISBN
9783642315541
SKU
V9783642315541
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)