Paraconsistent Logical Consequence

From MaRDI portal





A paraconsistent logic is often defined as one which does not have the property \(p\), \(\sim p\vdash q\), for arbitrary \(p\) and \(q\). The author claims that this negative characterization has encouraged an unsystematic development of paraconsistent logics. He proposes a positive metalinguistic condition which he claims includes all paraconsistent logics. This is not proved nor illustrated with even one example. The author also proposes a new ``maximally relevant paraconsistent logic by means of a metalinguistic statement the notion of which is not explained and is quite incomprehensible to me. There is no proof of the supposed maximality.











This page was built for publication: Paraconsistent Logical Consequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236071)