 A logic is paraconsistent iff its logical consequence relation \((\vDash\), either semantic or proof theoretic) is not explosive. Paraconsistency is a property of a consequence relation. The argument ex contradictione quodlibet (ECQ) is paraconsistently invalid: in general, it is not the case that \(A\), \(\neg A \vDash B\).