From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Godel Logic

被引：0
|
作者：
Fermueller, Christian [1 ]
Lang, Timo [1 ]
Pavlova, Alexandra [1 ]
机构：
[1] Tech Univ Wien, Vienna, Austria
来源：
LOGICA UNIVERSALIS | 2022年 / 16卷 / 1-2期
关键词：
Godel logic; Fuzzy logic; Semantic games; Provability game; Analytic calculus;
D O I：
10.1007/s11787-022-00300-0
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
We introduce a game for (extended) Godel 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.
引用
收藏
页码：221 / 235
页数：15
相关论文
共 10 条
  • [1] From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
    Christian Fermüller
    Timo Lang
    Alexandra Pavlova
    Logica Universalis, 2022, 16 : 221 - 235
  • [2] Cut-elimination in a sequents-of-relations calculus for Godel logic
    Baaz, M
    Ciabattoni, A
    Fermüller, CG
    31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 181 - 186
  • [3] The theory of Δ truth degree in Godel n-valued propositional logic system
    Zhu Naidiao
    Hui Xiaojing
    Gao Xiaoli
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 3698 - 3703
  • [4] From Semantic Games to Provability: The Case of Godel Logic
    Pavlova, Alexandra
    Freiman, Robert
    Lang, Timo
    STUDIA LOGICA, 2022, 110 (02) : 429 - 456
  • [5] Quasi-truth Degree of Formula in Godel 3-valued Logic System
    Zuo, Weibing
    2010 INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING AND COMMUNICATION AND 2010 ASIA-PACIFIC CONFERENCE ON INFORMATION TECHNOLOGY AND OCEAN ENGINEERING: CICC-ITOE 2010, PROCEEDINGS, 2010, : 268 - 271
  • [6] Games for hybrid logic from semantic games to analytic calculi
    Freiman, Robert
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [7] Games for Hybrid Logic From Semantic Games to Analytic Calculi
    Freiman, Robert
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 133 - 149
  • [8] A New Theory of T Truth Degree on Godel n-Valued Propositional Logic System
    Zhu, Nai-Diao
    Hui, Xiao-Jing
    Gao, Xiao-Li
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 59 - 70
  • [9] From intuitionistic logic to Godel-Dummett logic via parallel dialogue games
    Fermüller, CG
    Ciabattoni, A
    33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2003, : 188 - 193
  • [10] Theory of Δ conditional randomized truth degree in Godel n-valued propositional logic system of adding Δ operator
    Wang, Bo
    Hui, Xiao-Jing
    SCIENCEASIA, 2024, 50 (02): : 1 - 6
1