关于Belnap-Dunn四值逻辑拓展的六值证据与真值逻辑
摘要：关于证据和真理逻辑的引言：LETK+和LETF+的目标是介绍一种完备、可判定的六值确定性语义。这些逻辑通过经典性传播规则扩展了LETK和LETF-的逻辑，这些推理表达了经典性运算符o如何从较简单的句子传递到较复杂的句子，反之亦然。所提出的六值语义扩展了Belnap-Dunn逻辑的4个值，增加了2个值，旨在表示（正面和负面）可靠的信息。通过基于交换结构的N矩阵获取了LETK的六值非确定性语义，并通过对LETK的语义施加限制来获取LETK+的六值语义。这些限制恰好对应于扩展LETK的经典性传播规则。LETF+是LETK+的无蕴含片段。我们还展示了LETK+和LETF+的6个值定义了一个扩展了Belnap-Dunn四值逻辑L4的格结构，其中包括上述提到的两个附加值，直观地解释为正面和负面可靠信息。最后，我们还展示了LETK+是Blok-Pigozzi可代数化的，而其无蕴含片段LETF+与对合Stone代数的保度逻辑相一致。
作者：Marcelo E. Coniglio and Abilio Rodrigues
论文ID：2209.12337
分类：Logic
分类简称：math.LO
提交时间：2023-06-12