Fermüller, C., Lang, T. A., & Pavlova, A. (2022). From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis, 16(1–2), 221–235. https://doi.org/10.1007/s11787-022-00300-0
E192-05 - Forschungsbereich Theory and Logic E192-03 - Forschungsbereich Knowledge Based Systems E192-04 - Forschungsbereich Formal Methods in Systems Engineering
We introduce a game for (extended) 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.
en
Project title:
Von semantischen Spielen zu Kalkülen – und retour: P32684-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
CC BY 4.0
