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 条
12345