论文标题
二进制kripke语义是一种强大的天真真相逻辑
Binary Kripke Semantics for a Strong Logic for Naive Truth
论文作者
论文摘要
我表明，逻辑$ \ textsf {tjk}^{d+} $是目前已知的最强逻辑之一，以支持幼稚的真理理论，是从恒定域直觉逻辑的kripke语义中获得的（i）通过（i）下降的要求是反射性的，并且（ii）允许反射式启用供您使用反射范围。此外，我为$ \ textsf {tjk}^{d+} $提供了简化的自然扣除系统，其中使用有限的条件证明形式来建立条件。
I show that the logic $\textsf{TJK}^{d+}$, one of the strongest logics currently known to support the naive theory of truth, is obtained from the Kripke semantics for constant domain intuitionistic logic by (i) dropping the requirement that the accessibility relation is reflexive and (ii) only allowing reflexive worlds to serve as counterexamples to logical consequence. In addition, I provide a simplified natural deduction system for $\textsf{TJK}^{d+}$, in which a restricted form of conditional proof is used to establish conditionals.
