不一致性的演算法 I：命题逻辑
摘要：一个图论句法用于自指公式以及包括矛盾和独立公式的四值逻辑的描述。然后，我们探讨广义真值表在我们的理论中能够实现的程度，并继续描述一个命题演算的模型理论，其中模型被允许包含矛盾（如“说谎者”）和由此产生的公式作为其结构的一个组成部分。这为我们构建包含矛盾的集合论模型奠定了基础。
作者：Dan Seabold, Stefan Waner and Steve Warner
论文ID：math/0409034
分类：Logic
分类简称：math.LO
提交时间：2007-05-23