Cantitate/Preț
Produs

The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics: Lecture Notes in Computer Science, cartea 6850

Autor Richard Moot, Christian Retore
en Limba Engleză Paperback – 2 iul 2012
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 47603 lei

Preț vechi: 59504 lei
-20% Nou

Puncte Express: 714

Preț estimativ în valută:
9109 9397$ 7601£

Carte tipărită la comandă

Livrare economică 27 martie-10 aprilie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642315541
ISBN-10: 3642315542
Pagini: 320
Ilustrații: X, 300 p. 69 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:2012
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Textul de pe ultima copertă

This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computational and linguistic relevance of categorial grammars. Chapters: 1) AB grammars, 2) Lambek's Syntactic Calculus, 3) Lambek Calculus and Montague Grammar, 4) The non-associative Lambek calculus, 5) The multimodal Lambek calculus, 6) Proof nets for linear logic and the Lambek calculus, 7) Multimodal proof nets.

Caracteristici

Unique visibility Up-to-date results State-of-the-art research