加利福尼亚州米德尔堡。 关于经典逻辑及其对偶所包含的最强三值次协调逻辑。 （英语） Zbl 07332119号 J.日志。计算。 31,2号，597-611（2021）. 摘要：（\text{LP}^{supset，mathsf{F}}）是一个与J3基本相同的三值次协调命题逻辑。它具有被认为是合理的次协调命题逻辑的理想属性的大多数属性。然而，从已经发表的结果可以很容易地看出，有8192个不同的三值准一致命题逻辑具有相关的性质。本文利用逻辑的逻辑等价关系的性质来区分（text{LP}^{supset，mathsf{F}}）与其他逻辑等价关系。作为关注逻辑等价关系的额外收获之一，我们发现8192个逻辑中只有32个逻辑等价关系满足同一性、湮没性、幂等性和合取与析取的交换律。对于作为合理次协调命题逻辑的理想性质而被提出的\（\text{LP}^{supset，\mathsf{F}}\）的大多数性质，它的次完全类似物具有可比较的性质。本文还利用关于逻辑等价关系的性质来区分\（\text｛LP｝^｛\supset，\mathsf｛F｝｝）的准完全类似与具有这些可比性质的其他三值准完全命题逻辑。 引用于2文件 MSC公司： 03B53号 准一致逻辑 03B50号 多值逻辑 关键词：次协调逻辑;三值逻辑;逻辑结果;逻辑等价;准完备逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg}，J.Log。计算。31，第2号，597--611（2021；Zbl 07332119） 全文： DOI程序 arXiv公司