一种预设逻辑的证明系统
计算机科学中的逻辑
2023-02-10 v1
摘要
本文提出了一种由P. F. Strawson引入的预设逻辑的推导系统。它基于M. Richard Diaz于1981年描述的真值相关逻辑。在另一篇论文中，我基于真值树概述了一种真值相关逻辑的推导系统。结论是：一个重言式是真值相关的，当且仅当树中所有变量都自相矛盾。可能存在一棵树在所有变量自相矛盾之前就终止了。在这种情况下，相关公式仍是重言式，但不是真值相关的重言式。这一概念被推广到谓词演算，即一种预设逻辑或其变体。
引用
@article{arxiv.2302.04665,
title = {A Proof System for a Logic of Presuppositions},
author = {X. Y. Newberry},
journal= {arXiv preprint arXiv:2302.04665},
year = {2023}
}