在λ-演算中对多值逻辑进行编码
摘要：用无穷延伸的$lambda$-演算将布尔逻辑的著名Church编码扩展到McCarthy的$3$-值逻辑的编码，并通过$ot$这个新的常量来识别所有不可解的情况。这种编码可以扩展到$n$-值逻辑，其中$n\in\{4,5\}$。对于Church的原始$lambdamathbf{I}$-演算也存在这样的编码。通过对Russell悖论的讨论，我们利用了同样的编码来在这个无穷延伸的环境中计算无限闭合命题的真值。
作者：Fer-Jan de Vries
论文ID：1810.07667
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22