From intuitionistic logic to Godel-Dummett logic via parallel dialogue games

被引：4
|
作者：
Fermüller, CG [1 ]
Ciabattoni, A [1 ]
机构：
[1] Vienna Univ Technol, A-1060 Vienna, Austria
来源：
33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/ISMVL.2003.1201405
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Building on a version of Lorenzen's dialogue foundation for intuitionistic logic, we show that Godel-Dummett logic G can be characterized by a suitable game of communicating parallel dialogues. This provides a computational interpretation of Avron's hypersequent calculus for G.
引用
收藏
页码：188 / 193
页数：6
相关论文
共 50 条
  • [1] A Lambda Calculus for Godel-Dummett Logic Capturing Waitfreedom
    Hirai, Yoichi
    FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 151 - 165
  • [2] A tableau system for Godel-Dummett logic based on a hypersequent calculus
    Avron, A
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 98 - 111
  • [3] A Hypersequent System for Godel-Dummett Logic with Non-constant Domains
    Tiu, Alwen
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 248 - 262
  • [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] Godel Logic: from Natural Deduction to Parallel Computation
    Aschieri, Federico
    Ciabattoni, Agata
    Genco, Francesco A.
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [6] Sequent Calculi for Intuitionistic Godel-Lob Logic
    van der Giessen, Iris
    Iemhoff, Rosalie
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (02) : 221 - 246
  • [7] Dialogue Games for Minimal Logic
    Pavlova, Alexandra
    LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (02) : 281 - 309
  • [8] Dialogue games in defeasible logic
    Thakur, S.
    Governatori, G.
    Padmanabhan, V.
    Lundstrom, J. Eriksson
    AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 497 - +
  • [9] Dummett's objection to the ontological route to intuitionistic logic: a rejoinder
    van Atten, Mark
    INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2022, 65 (06): : 725 - 742
  • [10] From rational Godel logic to ultrametric logic
    Khatami, S. M. A.
    Pourmahdian, M.
    Tavana, N. R.
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (05) : 1743 - 1767
12345