A procedural criterion for final derivability in inconsistency-adaptive logics

Diderik Batens. A procedural criterion for final derivability in inconsistency-adaptive logics. J. Applied Logic, 3(1):221-250, 2005. [doi]

Bibliographies