用有限值逻辑逼近命题演算
逻辑
2022-01-31 v1
摘要
Bernays 引入了一种借助真值表证明命题演算中不可推导性的方法。一般而言,这促使人们研究:给定一个命题逻辑,如何找到一个有限值逻辑,其重言式尽可能少,但又把所给逻辑的所有有效公式都作为重言式。我们研究使用 (1) 一个或 (2) 一串无限有限值逻辑能把此方法推进到何种程度。我们说明 (1) 的最佳候选矩阵可由一个演算算出,以及对于某些逻辑类(特别地,包括由 Kripke 语义刻画的逻辑)如何为 (2) 寻找序列。
引用
@article{arxiv.math/0203204,
title = {Approximating Propositional Calculi by Finite-valued Logics},
author = {Matthias Baaz and Richard Zach},
journal= {arXiv preprint arXiv:math/0203204},
year = {2022}
}
备注
20 pages