On the strongest three-valued paraconsistent logic contained in classical logic and its dual
Abstract
LP 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 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 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 from the other three-valued paracomplete propositional logics with those comparable properties.
Keywords
Cite
@article{arxiv.1702.03414,
title = {On the strongest three-valued paraconsistent logic contained in classical logic and its dual},
author = {C. A. Middelburg},
journal= {arXiv preprint arXiv:1702.03414},
year = {2021}
}
Comments
17 pages, version that is accepted for publication, there is some text overlap between this paper and arXiv:1508.06899 [cs.LO]