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

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, wher...

Descripción completa

Detalles Bibliográficos
Autores principales: Fermüller, Christian, Lang, Timo, Pavlova, Alexandra
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7274339/
http://dx.doi.org/10.1007/978-3-030-50146-4_20
_version_ 1783542560046710784
author Fermüller, Christian
Lang, Timo
Pavlova, Alexandra
author_facet Fermüller, Christian
Lang, Timo
Pavlova, Alexandra
author_sort Fermüller, Christian
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7274339
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72743392020-06-05 From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic Fermüller, Christian Lang, Timo Pavlova, Alexandra Information Processing and Management of Uncertainty in Knowledge-Based Systems Article 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. 2020-05-18 /pmc/articles/PMC7274339/ http://dx.doi.org/10.1007/978-3-030-50146-4_20 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Fermüller, Christian
Lang, Timo
Pavlova, Alexandra
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
title From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
title_full From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
title_fullStr From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
title_full_unstemmed From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
title_short From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
title_sort from truth degree comparison games to sequents-of-relations calculi for gödel logic
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7274339/
http://dx.doi.org/10.1007/978-3-030-50146-4_20
work_keys_str_mv AT fermullerchristian fromtruthdegreecomparisongamestosequentsofrelationscalculiforgodellogic
AT langtimo fromtruthdegreecomparisongamestosequentsofrelationscalculiforgodellogic
AT pavlovaalexandra fromtruthdegreecomparisongamestosequentsofrelationscalculiforgodellogic

Ejemplares similares