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

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

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)

Cites Work

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

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)