A Kripke Semantics for Hajek's BL

被引：0
|
作者：
Lewis-Smith, Andrew [1 ]
机构：
[1] Univ Sheffield, Dept Comp Sci, Sheffield, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 381期
关键词：
D O I：
10.4204/EPTCS.381.4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily spe-cialises to the linearly ordered Kripke frames for Godel-Dummett logic which BL properly contains. Our soundness, deduction theorem and completeness arguments further strengthen this analogy. This paper extends the insights of [10] from GBLewf to the case of BL.
引用
收藏
页码：20 / 31
页数：12
相关论文
共 50 条
  • [21] KRIPKE SEMANTICS FOR MARTIN-LOF'S EXTENSIONAL TYPE THEORY
    Awodey, Steve
    Rabe, Florian
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (03)
  • [22] Many-valued and Kripke semantics
    Beziau, Jean-Yves
    AGE OF ALTERNATIVE LOGICS: ASSESSING PHILOSOPHY OF LOGIC AND MATHEMATICS TODAY, 2006, 3 : 89 - 101
  • [23] Kripke semantics for provability logic GLP
    Beklemishev, Lev D.
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (06) : 756 - 774
  • [24] Dov Gabbay, Reactive Kripke Semantics
    Valentin Goranko
    Studia Logica, 2017, 105 : 431 - 437
  • [25] Kripke semantics for the logic of problems and propositions
    Onoprienko, A. A.
    SBORNIK MATHEMATICS, 2020, 211 (05) : 709 - 732
  • [26] A kripke semantics for the logic of gelfand quantales
    Allwein G.
    Maccaull W.
    Studia Logica, 2001, 68 (2) : 173 - 228
  • [27] Definability of Boolean Functions in Kripke Semantics
    Matsuda, Naosuke
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2023, 64 (03) : 363 - 376
  • [28] Kripke Semantics for Intuitionistic Lukasiewicz Logic
    Lewis-Smith, A.
    Oliva, P.
    Robinson, E.
    STUDIA LOGICA, 2021, 109 (02) : 313 - 339
  • [29] Kripke semantics for modal bilattice logic
    Jung, Achim
    Rivieccio, Umberto
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 438 - 447
  • [30] A note on Kripke semantics for residuated logic
    MacCaull, W
    FUZZY SETS AND SYSTEMS, 1996, 77 (02) : 229 - 234
12345