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 条
  • [1] Monadic BL-algebras: The equivalent algebraic semantics of Hajek's monadic fuzzy logic
    Castano, Diego
    Cimadamore, Cecilia
    Diaz Varela, Jose Patricio
    Rueda, Laura
    FUZZY SETS AND SYSTEMS, 2017, 320 : 40 - 59
  • [2] A tableau calculus for Hajek's Logic BL
    Montagna, F
    Pinna, GM
    Tiezzi, EBP
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 241 - 259
  • [3] Modelling uncertainty with Kripke's semantics
    Boeva, V
    Tsiporkova, E
    De Baets, B
    ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 129 - 140
  • [4] GENERALIZED KRIPKE SEMANTICS FOR NELSON'S LOGIC
    Latkin, E. I.
    ALGEBRA AND LOGIC, 2010, 49 (05) : 426 - 443
  • [5] Generalized Kripke semantics for Nelson’s logic
    E. I. Latkin
    Algebra and Logic, 2010, 49 : 426 - 443
  • [6] Decision Analysis based on Kripke's semantics
    Boeva, V
    Ekenberg, L
    2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL 1, PROCEEDINGS, 2002, : 154 - 159
  • [7] KRIPKE SEMANTICS FOR ENTAILMENT
    ROUTLEY, R
    MEYER, RK
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 442 - &
  • [8] Reactive Kripke Semantics
    Goranko, Valentin
    STUDIA LOGICA, 2017, 105 (02) : 431 - 437
  • [9] Kripke Semantics for Intersection Formulas
    Dudenhefner, Andrej
    Urzyczyn, Pawel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (03)
  • [10] INCOMPLETENESS RESULTS IN KRIPKE SEMANTICS
    GHILARDI, S
    JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 517 - 538
12345