IKT$^\omega$ 与 Łukasiewicz-模型
逻辑
2021-04-30 v2
摘要
在本注记中，我们证明一阶逻辑 IK 对于由连续值 Łukasiewicz-模型通过把量词视为无穷元强析取/合取而非无穷元弱析取/合取得到的一阶语言模型是可靠的。此外，我们证明这些模型不能用于对通过用透明真扩充 IK 所得的真理论 IKT 提供新的协调性证明，因为这些模型与透明真不相容。最后，我们证明这一不相容性是否能在 IKT 的相继式演算中重现取决于如何处理空量化。
引用
@article{arxiv.2011.06991,
title = {IKT$^\omega$ and \L{}ukasiewicz-models},
author = {Andreas Fjellstad and Jan-Fredrik Olsen},
journal= {arXiv preprint arXiv:2011.06991},
year = {2021}
}
备注
9 pages, to appear in the Notre Dame Journal of Formal Logic