Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution

DOI10.1007/978-3-030-88853-4_17OpenAlexW3202553585MaRDI QIDQ2148798

Davide Catta, Symon Jory Stevens-Guille

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_17

zbMATH Keywords

ellipsisnatural language semanticsanaphoradialogical logicinferential semantic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Uses Software

• FraCaS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Dynamic semantics
• First-order dialogical games and tableaux
• Dialogues, strategies, and intuitionistic provability
• Sequence semantics for dynamic predicate logic
• Anaphora and type logical grammar
• Tableau reasoning and programming with dynamic first order logic
• A Dynamic Categorial Grammar
• The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
• Event Semantics and Abstract Categorial Grammar
• The Mathematics of Sentence Structure
• Dynamic predicate logic
• EXCLUSIVELY INDEXICAL DEDUCTION
• Proof-theoretic aspects of hybrid type-logical grammars

This page was built for publication: Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution