Anaphora and Type Logical Grammar

Anaphora and Type Logical Grammar

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 from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.

GET FULL EBOOK

Author
Publisher Springer Science & Business Media
Release Date
ISBN 1402039050
Pages 290 pages
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
Anaphora and Type Logical Grammar
Language: en
Pages: 232
Authors: Gerhard Jäger
Categories:
Type: BOOK - Published: 2002 - Publisher:

Formal Grammar
Language: en
Pages: 323
Authors: Annie Foret
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 Summe
Categorial Grammar
Language: en
Pages: 236
Authors: Glyn Morrill
Categories: Computers
Type: BOOK - Published: 2011 - Publisher: Oxford University Press

This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses expressions as functions or according to a fun
Logical Aspects of Computational Linguistics
Language: en
Pages: 294
Authors: Michael Moortgat
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

The conference series Logical Aspects of Computational Linguistics (LACL) aims at providing a forum for the presentation and discussion of current research in a
Logical Aspects of Computational Linguistics
Language: en
Pages: 283
Authors: Sylvain Pogodalla
Categories: Computers
Type: BOOK - Published: 2011-06-24 - Publisher: Springer

This book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpelli
Resource-Sensitivity, Binding and Anaphora
Language: en
Pages: 297
Authors: Geert-Jan M. Kruijff
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
Handbook of Logic and Language
Language: en
Pages: 1168
Authors: Johan F.A.K. van Benthem
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
Logic, Rationality, and Interaction
Language: en
Pages: 403
Authors: Hans van Ditmarsch
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 Internationa
Handbook of Philosophical Logic
Language: en
Pages: 310
Authors: Dov M. Gabbay
Categories: Philosophy
Type: BOOK - Published: 2011-02-01 - Publisher: Springer Science & Business Media

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.