Related Books

Anaphora and Type Logical Grammar
Language: en
Pages: 290
Authors: Gerhard Jäger
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2006-03-30 - Publisher: Springer Science & Business Media

Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping
Resource-Sensitivity, Binding and Anaphora
Language: en
Pages: 297
Authors: Geert-Jan M. Kruijff, Richard T. Oehrle
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of
Handbook of Logic and Language
Language: en
Pages: 1168
Authors: Johan F.A.K. van Benthem, Alice ter Meulen
Categories: Mathematics
Type: BOOK - Published: 2010-12-17 - Publisher: Elsevier

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics
Formal Grammar
Language: en
Pages: 323
Authors: Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
Categories: Mathematics
Type: BOOK - Published: 2016-08-05 - Publisher: Springer

This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from
Logic, Rationality, and Interaction
Language: en
Pages: 403
Authors: Hans van Ditmarsch, Jerome Lang, Shier Ju
Categories: Mathematics
Type: BOOK - Published: 2011-10-07 - Publisher: Springer

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed