The Logic of Categorial Grammars A deductive account of natural language syntax and semantics /

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, computationa...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Moot, Richard (Autor), Retore, Christian (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Theoretical Computer Science and General Issues, 6850
Temas:
Machine theory.
Computational linguistics.
Computer science.
Linguistics.
Logic.
Compilers (Computer programs).
Formal Languages and Automata Theory.
Computational Linguistics.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:X, 300 p. 69 illus. online resource.
ISBN:9783642315558
ISSN:2512-2029 ;

Ejemplares similares