安杰尔的交流律下细矩阵与弗格森矩阵之间的单射态射
摘要：Angell的分析包容逻辑AC已被Ferguson证明为9值矩阵NC，并被Fine证明为16值矩阵。后者是前者的一个满射同态映射的像，即一个满像。一些7值矩阵被排除作为AC的特征。是否存在少于9个值的矩阵仍然是一个未解决的问题。这些结果是通过MUltlog系统得到的，用于研究有限值逻辑；结果展示了计算代数在逻辑中的有用技术的例子。此外，还提供了一个NC的表证明系统。
作者：Richard Zach
论文ID：2105.15160
分类：Logic
分类简称：math.LO
提交时间：2023-06-21