LP$^{\supset,\mathsf{F}}$ is a three-valued paraconsistent propositional logic which is essentially the same as J3. It has most properties that have been proposed as desirable properties of a reasonable paraconsistent propositional logic. However, it follows easily from already published results that there are exactly 8192 different three-valued paraconsistent propositional logics that have the properties concerned. In this paper, properties concerning the logical equivalence relation of a logic are used to distinguish LP$^{\supset,\mathsf{F}}$ from the others. As one of the bonuses of focussing on the logical equivalence relation, it is found that only 32 of the 8192 logics have a logical equivalence relation that satisfies the identity, annihilation, idempotent, and commutative laws for conjunction and disjunction. For most properties of LP$^{\supset,\mathsf{F}}$ that have been proposed as desirable properties of a reasonable paraconsistent propositional logic, its paracomplete analogue has a comparable property. In this paper, properties concerning the logical equivalence relation of a logic are also used to distinguish the paracomplete analogue of LP$^{\supset,\mathsf{F}}$ from the other three-valued paracomplete propositional logics with those comparable properties.
翻译:LP$supsupset,\ mathsf{F ⁇ $ 是一个三价半一致的假设逻辑,基本上与J3相同。它拥有作为合理准一致的假设逻辑的可取属性而提出的大多数属性。然而,从已经公布的结果中可以很容易地看出,完全有8192种不同的三价半一致的假设逻辑具有相关属性。在本文件中,逻辑逻辑的逻辑等值关系属性被用来区分LP$supssupset,\mathsfs{F ⁇ {F ⁇ $ 与其他逻辑的可取属性。作为注重逻辑等值关系的奖励之一,它发现8192种逻辑中只有32种逻辑等值关系符合特性、消滅性、理想性,以及混合法则符合相关属性。对于大多数LP$supset,\mathfsf{F ⁇ $ 的属性,这些属性被提议为合理准准准兼容性逻辑,其相近的类似性属性之一。在本文中,关于逻辑性等值的逻辑关系,与比较性的逻辑关系,使用的比等值逻辑关系,也与其他等值比L_F pres段。