TY - Generic T1 - An Inconsistency-Adaptive Proof Procedure for Logic Programming Y1 - 2002 A1 - Vermeir, Timothy ED - Carnielli, Walter A. ED - Coniglio, Marcelo E. ED - Loffredo D'Ottaviano, Itala M. AB -

It is the goal of this paper to de ne a paraconsistent proof procedure that has the best of two mechanisms, in casu logic programming and inconsistency-adaptive logics. From logic programming we will maintain the ease of computing, and from adaptive logics their paraconsistency, dynamics and non-monotonicity. This will be done by combining the notion of competitor from logic programming together with the conditionallity that is common in all adaptive proofs.

JA - Paraconsistency. The Logical Way to the Inconsistent PB - Marcel Dekker CY - New York SP - 323-340 ER -