@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 = {<p>This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic <strong>ACLuN1</strong>. 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.</p>},
	author = {Batens, Diderik}
}
