TY - JOUR T1 - A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics JF - Journal of Applied Logic Y1 - 2005 A1 - Batens, Diderik AB -
This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a \emph{criterion} for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.
VL - 3 SP - 221–250 ER -