<div class="csl-bib-body">
<div class="csl-entry">Fermüller, C., Lang, T. A., & Pavlova, A. (2022). From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. <i>Logica Universalis</i>, <i>16</i>(1–2), 221–235. https://doi.org/10.1007/s11787-022-00300-0</div>
</div>
-
dc.identifier.issn
1661-8297
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/135851
-
dc.description.abstract
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
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartof
Logica Universalis
-
dc.relation.isversionof
http://hdl.handle.net/20.500.12708/58187
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Gödel logic
en
dc.subject
fuzzy logic
en
dc.subject
semantic games
en
dc.subject
provability game
en
dc.subject
analytic calculus
en
dc.title
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic