From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic

, &
Logica Universalis 16 (1):221-235 (2022)
  Copy   BIBTEX

Abstract

We introduce a game for Gödel logic where the players’ interaction stepwise reduces claims about the relative order of truth degrees of complex formulas to atomic truth comparison claims. Using the concept of disjunctive game states this semantic game is lifted to a provability game, where winning strategies correspond to proofs in a sequents-of-relations calculus.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-022-00300-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

From Semantic Games to Provability: The Case of Gödel Logic.Alexandra Pavlova, Robert Freiman & Timo Lang - 2021 - Studia Logica 110 (2):429-456.
Validity in Choice Logics.Robert Freiman & Michael Bernreiter - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 211-226.
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.
Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
An N -player semantic game for an N + 1-valued logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17-23.
Imperative programs as proofs via game semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
The Games of Logic and the Games of Inquiry.Jaakko Hintikka - 1995 - Dialectica 49 (2‐4):229-250.
On Semantic Games for Łukasiewicz Logic.Ondrej Majer & Christian Fermüller - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 263-278.
Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):821-832.
VALIDITY: A Learning Game Approach to Mathematical Logic.Steven James Bartlett - 1973 - Hartford, CT: Lebon Press. Edited by E. J. Lemmon.

Analytics

Added to PP
2022-03-08

Downloads
18 (#829,194)

6 months
9 (#436,446)

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

Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Logic, language-games and information, kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Revue Philosophique de la France Et de l'Etranger 163:477-478.
A non-classical logic for physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.

View all 7 references / Add more references