@article {D:pcfdial, title = {A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics}, journal = {Journal of Applied Logic}, volume = {3}, year = {2005}, pages = {221{\textendash}250}, abstract = {
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.
}, author = {Batens, Diderik} }