Fine 与 Ferguson 的 Angell AC 逻辑矩阵之间的满同态
逻辑
2023-06-21 v3
摘要
Angell 的分析包含逻辑 AC 已被 Ferguson 用 9 值矩阵 NC 刻画，并被 Fine 用 16 值矩阵刻画。本文证明前者是后者一个满同态的像，即一个满同态像。一些候选的 7 值矩阵被排除作为 AC 的刻画矩阵。是否存在少于 9 个值的矩阵仍是一个开放问题。这些结果借助用于研究有限值逻辑的系统 MUltlog 获得；这些结果可作为计算代数技术用于逻辑的有用性的一个例证。文中还给出了 NC 的表系统证明系统。
引用
@article{arxiv.2105.15160,
title = {An Epimorphism between Fine and Ferguson's Matrices for Angell's AC},
author = {Richard Zach},
journal= {arXiv preprint arXiv:2105.15160},
year = {2023}
}