%0 Journal Article %J Journal of Applied Logic %D 2005 %T A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics %A Batens, Diderik %X

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.

%B Journal of Applied Logic %V 3 %P 221–250 %G eng