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

• Κύριοι συγγραφείς: Moot, Richard (Συγγραφέας), Retoré, Christian (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 6850
• Θέματα: Computer science.; Logic.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Linguistics.; Computational linguistics.; Computer Science.; Mathematical Logic and Formal Languages.; Computational Linguistics.; Logics and Meanings of Programs.; Linguistics, general.; Programming Languages, Compilers, Interpreters.
• Φυσική περιγραφή: X, 300 p. 69 illus. online resource.
• ISBN: 9783642315558
• ISSN: 0302-9743 ;

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.