An Inconsistency-Adaptive Proof Procedure for Logic Programming

The adaptive strategy has proven to be a very useful tool in all areas where abnormalities make classical logic inappropriate (see for instance Guido Vanackere's Ambiguity-adaptive logic [4]). Central notions in such adaptive mechanisms are reliability and the conditional derivation of formulas. However, inconsistency-adaptive logics have a proof theory which is not that straightforward.1