摘要：非确定性多值逻辑的两个等价演算。通过公理定义一个，通过推理规则定义另一个。这两个演算可以直接从所考虑的逻辑的真值表中获得。我们证明了这两个演算的正确性和强力完备性定理，并且还证明了通过推理规则定义的演算的切割消除定理。
作者：Michael Kaminski
论文ID：2112.07377
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中