Cargando…

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:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-31555-8
003 DE-He213
005 20230329172246.0
007 cr nn 008mamaa
008 120629s2012 gw | s |||| 0|eng d
020 |a 9783642315558  |9 978-3-642-31555-8 
024 7 |a 10.1007/978-3-642-31555-8  |2 doi 
050 4 |a QA267-268.5 
072 7 |a UYA  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a UYA  |2 thema 
082 0 4 |a 005.131  |2 23 
100 1 |a Moot, Richard.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 4 |a The Logic of Categorial Grammars  |h [electronic resource] :  |b A deductive account of natural language syntax and semantics /  |c by Richard Moot, Christian Retore. 
250 |a 1st ed. 2012. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a X, 300 p. 69 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 6850 
520 |a 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. 
650 0 |a Machine theory. 
650 0 |a Computational linguistics. 
650 0 |a Computer science. 
650 0 |a Linguistics. 
650 0 |a Logic. 
650 0 |a Compilers (Computer programs). 
650 1 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Computational Linguistics. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Linguistics. 
650 2 4 |a Logic. 
650 2 4 |a Compilers and Interpreters. 
700 1 |a Retore, Christian.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642315565 
776 0 8 |i Printed edition:  |z 9783642315541 
830 0 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 6850 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-31555-8  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)