Minimally inconsistent LP (Q1181492): Difference between revisions

This paper explains how paraconsistent logics can be extended to ``minimally inconsistent'' logics, which have many useful properties. The method is applied to the logic \(LP\) giving a new logic \(LPm\). The following hold: If \(\Sigma^{CL}\), \(\Sigma^{LP}\) and \(\Sigma^ m\) are the set of classical, \(LP\) and \(LPm\) consequences of a set of wfs \(\Sigma\) then: (1) \(\Sigma^{LP}\subseteq\Sigma^ m\subseteq\Sigma^{CL}\). (2) If \(\Sigma\) is classically consistent (i.e. the wfs of \(\Sigma\) have only the classical truth values \(\{0\}\) and \(\{1\}\) and not the additional value \(\{0,1\}\)) then \(\Sigma^ m = \Sigma^{CL}\). (3) If \(\Sigma^{LP}\) is nontrivial so is \(\Sigma^ m\). The monotonicity property (if \(\Gamma\models_ m q\) then \(\Gamma\cup \{ p\}\models_ m q\)), however fails for certain wfs \(p\)!