Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution

&
In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 269-286 (2021)
  Copy   BIBTEX

Abstract

We propose a novel solution to anaphora and ellipsis resolution using multi-sorted first order logic. Our theory is proof-theoretic, employing methods from the study of dialogical logic. The first order propositions are extracted from reduced lambda terms, which are themselves derived from Lambek Categorial Grammar proofs.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-030-88853-4_17

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Konstruktionen versus Positionen: Beitr. zur Diskussion um d. konstruktive Wissenschaftstheorie: [Paul Lorenzen zum 60. Geburtstag].Paul Lorenzen (ed.) - 1979 - New York: de Gruyter.
A Type-Theoretic Approach to Anaphora and Ellipsis Resolution.Shalom Lappin & C. Fox - unknown
Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics.M. Marion & H. Rückert - 2016 - History and Philosophy of Logic 37 (3):201-229.
Speech acts, fallacies and dialogue systems.Olena Yaskorska - unknown
A Sequenced Model of Anaphora and Ellipsis Resolution.Shalom Lappin - unknown
Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 23-46.
Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
Resolving Ellipsis in Clarification.Jonathan Ginzburg & Robin Cooper - unknown
Dialogical Logic.Thomas Piecha - 2015
Connecting Sequent Calculi with Lorenzen-Style Dialogue Games.Christian G. Fermüller - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 115-141.
Conceptions of infinity and set in Lorenzen’s operationist system.Carolin Antos - forthcoming - In Logic, Epistemology and the Unity of Science. Springer.
Dialogue Protocols for Formal Fallacies.Magdalena Kacprzak & Olena Yaskorska - 2014 - Argumentation 28 (3):349-369.
Implicit Versus Explicit Knowledge in Dialogical Logic.Manuel Rebuschi - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 229--246.
Gender mismatches under nominal ellipsis.Jason Merchant - unknown
A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.

Analytics

Added to PP
2022-03-10

Downloads
11 (#1,142,538)

6 months
10 (#276,350)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references