直观完备的基础直觉条件逻辑系统
摘要：介绍了一种基本的直觉条件逻辑$ \mathsf {IntCK} $，该逻辑相对于特定类型的Kripke模型和相对于标准的一阶直觉逻辑翻译是完备的。我们展示了$ \mathsf {IntCK} $与其他类似逻辑（如基本经典条件逻辑$ \mathsf {CK} $和基本直觉模态逻辑$ \mathsf {IK} $）之间存在非常自然的关系。对于Y. Weiss提出的基本直觉条件逻辑$ \mathsf {ICK} $，$ \mathsf {IntCK} $通过增加了一个类似钻石的条件形式来扩展其语言，但其不包含钻石条件的片段也是$ \mathsf {ICK} $的适当扩展。我们简要讨论了这两个候选的基本直觉条件逻辑系统之间产生的差距，以及两个候选系统的可能的优缺点。
作者：Grigory Olkhovikov
论文ID：2306.10402
分类：Logic
分类简称：math.LO
提交时间：2023-06-21