Erratum to: n-Fold implicative basic logic is Gödel logic

被引：4
|
作者：
Esko Turunen
Nganteu Tchikapa
Celestin Lele
机构：
[1] Tampere University Technology,
[2] University of Dschang,undefined
来源：
Soft Computing | 2012年 / 16卷 / 1期
关键词：
D O I：
10.1007/s00500-011-0795-z
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：183 / 183
相关论文
共 50 条
  • [21] From Semantic Games to Provability: The Case of Gödel Logic
    Alexandra Pavlova
    Robert Freiman
    Timo Lang
    Studia Logica, 2022, 110 : 429 - 456
  • [22] On modal μ-calculus and Gödel-löb logic
    Alberucci L.
    Facchini A.
    Studia Logica, 2009, 91 (2) : 145 - 169
  • [23] Gödel’s proof1. An introduction to mathematical logic
    S M Srivastava
    Resonance, 2007, 12 (2) : 59 - 70
  • [24] An Algebraic Study of S5-Modal Gödel Logic
    Diego Castaño
    Cecilia Cimadamore
    José Patricio Díaz Varela
    Laura Rueda
    Studia Logica, 2021, 109 : 937 - 967
  • [25] A Gödel-Dugundji-style theorem for the minimal structural logic
    Pawlowski, Pawel
    Ferguson, Thomas M.
    Gertler, Ethan
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [26] The completeness theorem of Gödel1. An introduction to mathematical logic
    S. M. Srivastava
    Resonance, 2001, 6 (7) : 29 - 41
  • [27] Circular proofs for the Gödel-Löb provability logic
    D. S. Shamkanov
    Mathematical Notes, 2014, 96 : 575 - 585
  • [28] 90 years of Gödel's incompleteness theorems: Logic and computation
    Baaz, Matthias
    Ertel, Marcel
    Kahle, Reinhard
    Piecha, Thomas
    von Plato, Jan
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (06) : 1003 - 1009
  • [29] The Craig interpolation property in first-order Gödel logic
    Tavana, N. R.
    Pourmahdian, M.
    Khatami, S. M. A.
    FUZZY SETS AND SYSTEMS, 2024, 485
  • [30] Mechanising Gödel–Löb Provability Logic in HOL Light
    Marco Maggesi
    Cosimo Perini Brogi
    Journal of Automated Reasoning, 2023, 67
12345