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 条
  • [31] Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
    Boutry, Pierre
    Gries, Charly
    Narboux, Julien
    Schreck, Pascal
    JOURNAL OF AUTOMATED REASONING, 2019, 62 (01) : 1 - 68
  • [32] Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
    Pierre Boutry
    Charly Gries
    Julien Narboux
    Pascal Schreck
    Journal of Automated Reasoning, 2019, 62 : 1 - 68
  • [33] From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games
    Baldi, Paolo
    Fermueller, Christian G.
    ADVANCES IN FUZZY LOGIC AND TECHNOLOGY 2017, VOL 1, 2018, 641 : 112 - 124
  • [34] A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages
    Costantini, Stefania
    Tocchio, Arianna
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 238 - 255
  • [35] From Godel to Einstein:: Computability between logic and physics at CiE 2006
    Beckmann, Arnold
    Beggs, Edwin
    Lowe, Benedikt
    THEORETICAL COMPUTER SCIENCE, 2008, 394 (03) : 141 - 143
  • [36] THE COMPACTNESS OF 1ST-ORDER LOGIC, FROM GODEL TO LINDSTROM
    DAWSON, JW
    HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (01) : 15 - 37
  • [37] Games for hybrid logic from semantic games to analytic calculi
    Freiman, Robert
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [38] Games for Hybrid Logic From Semantic Games to Analytic Calculi
    Freiman, Robert
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 133 - 149
  • [39] Semantics of lambda calculi designed from intuitionistic linear logic
    Roversi, L.
    Bulletin of the European Association for Theoretical Computer Science, (56):
  • [40] From forcing to satisfaction in Kripke models of intuitionistic predicate logic
    Abiri, Maryam
    Moniri, Morteza
    Zaare, Mostafa
    LOGIC JOURNAL OF THE IGPL, 2018, 26 (05) : 464 - 474
12345