Hajek的BL的Kripke语义
摘要：对Petr Hajek的基本逻辑提供了Kripke语义的推广，并且证明了该语义与我们的语义的声音和完整性。我们发现，这种语义很容易针对Godel-Dummett逻辑的线性有序Kripke框架进行特化，而BL则适当地包含了这些框架。我们的声音、演绎定理和完整性论证进一步加强了这种类比。本文扩展了我们先前的论文《直觉Lukasiewicz逻辑的Kripke语义》的见解，涉及到Hajeks' BL的情况。
作者：Andrew Lewis-Smith (University of Sheffield)
论文ID：2308.04518
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-10