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

DOI10.1007/978-3-030-88853-4_17MaRDI QIDQ2148798zbMATH OpenOpenAlexFDO

Authors 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

ellipsisdialogical logicanaphoranatural language semanticsinferential semantic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 569745
• scientific article; zbMATH DE number 1794701
• A computational treatment of anaphora and its algorithmic implementation
• scientific article; zbMATH DE number 1689579
• An analytic model of anaphora resolution in algebraic linguizstics

Cites work

• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• scientific article; zbMATH DE number 3677798 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1785857 (Why is no real title available?)
• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• scientific article; zbMATH DE number 847936 (Why is no real title available?)
• A dynamic categorial grammar
• Anaphora and type logical grammar
• Dialogues, strategies, and intuitionistic provability
• Dynamic predicate logic
• Dynamic semantics
• Event semantics and abstract categorial grammar
• Exclusively indexical deduction
• First-order dialogical games and tableaux
• Proof-theoretic aspects of hybrid type-logical grammars
• Sequence semantics for dynamic predicate logic
• Tableau reasoning and programming with dynamic first order logic
• The Mathematics of Sentence Structure
• The Montagovian generative lexicon \(\Lambda Ty_n\): a type theoretical framework for natural language semantics
• The logic of categorial grammars. A deductive account of natural language syntax and semantics

Describes a project that uses

Uses Software

• FraCaS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148798)