Опубликована статья Александры Павловой

На 62-м заседании семинара "Формальная философия" Александра Павлова представила результаты совместного доклада и публикации "From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic"  (Christian Fermüller, Timo Lang, Alexandra Pavlova).

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.