In paraconsistent logics (e.g., Priest's LP), the explosion principle fails, so derivability from co...