Maximally paraconsistent three-valued logics
Ofer Arieli, Arnon Avron, Anna Zamansky · 2010
Maximality is a desirable property of paraconsis-tent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this pa-per, we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We first show that most of the logics that are based on properly non-deterministic three-valued matri-ces are not maximally paraconsistent. Then we show that in contrast, in the deterministic case all the natural three-valued paraconsistent logics are maximal. This includes well-known three-valued paraconsistent logics like P1, LP, J3, PAC and SRM3, as well as any extension of them ob-tained by enriching their languages with extra three-valued connectives.