@article {D:scaial, title = {Some Computational Aspects of Inconsistency-Adaptive logics}, journal = {CLE e-Prints}, volume = {2}, number = {7}, year = {2002}, pages = {15~pp.}, abstract = {

This paper concerns a goal directed proof procedure for the propo- sitional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all at adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for final derivability.

}, author = {Batens, Diderik} }