From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic (bibtex)
by 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.
Reference:
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicChristian Fermüller, Timo Lang, Alexandra PavlovaInformation Processing and Management of Uncertainty in Knowledge-Based Systems (Marie-Jeanne Lesot, Susana Vieira, Marek Z. Reformat, João Paulo Carvalho, Anna Wilbik, Bernadette Bouchon-Meunier, Ronald R. Yager, eds.), pages 257–270, 2020, Springer International Publishing.
Bibtex Entry:
@InProceedings{10.1007/978-3-030-50146-4_20,
author="Ferm{\"u}ller, Christian
and Lang, Timo
and Pavlova, Alexandra",
editor="Lesot, Marie-Jeanne
and Vieira, Susana
and Reformat, Marek Z.
and Carvalho, Jo{\~a}o Paulo
and Wilbik, Anna
and Bouchon-Meunier, Bernadette
and Yager, Ronald R.",
title="From Truth Degree Comparison Games to Sequents-of-Relations Calculi for G{\"o}del Logic",
booktitle="Information Processing and Management of Uncertainty in Knowledge-Based Systems",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="257--270",
abstract="We introduce a game for (extended) G{\"o}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.",
isbn="978-3-030-50146-4"
}
Powered by bibtexbrowser