次协调三值逻辑标准相继演算的不可定义性
逻辑
2017-09-29 v2
摘要
本文研究了一族三值次协调逻辑的演绎性质。我们定义了标准相继演算的概念，并证明了这些逻辑不存在可靠且完备的标准相继演算。此外，我们使用三侧相继式为次协调弱 Kleene 逻辑（Paraconsistent Weak Kleene Logic）提供了一种非标准的、可靠且完备的无切相继演算。
引用
@article{arxiv.1612.00963,
title = {Undefinability of Standard sequent calculi for Paraconsistent three-valued logics},
author = {S. Bonzio and M. Pra Baldi},
journal= {arXiv preprint arXiv:1612.00963},
year = {2017}
}
备注
We found out that the paper contains some obscure points that can be misleading for the reader; some results shall be revised, deleted and/or replaced. As this process could take long time we would like to withdraw the submission for the moment. Thank you for your comprehension