Paraconsistent Logical Consequence (Q4236071)

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.