@incollection {vermeir2002inconsistency,
	title = {An Inconsistency-Adaptive Proof Procedure for Logic Programming},
	booktitle = {Paraconsistency. The Logical Way to the Inconsistent},
	year = {2002},
	pages = {323-340},
	publisher = {Marcel Dekker},
	address = {New York},
	abstract = {<p>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.</p>},
	author = {Vermeir, Timothy},
	editor = {Carnielli, Walter A. and Coniglio, Marcelo E. and Loffredo D{\textquoteright}Ottaviano, Itala M.}
}
@article {Vermeir_inconsistency-adaptivearithmetic,
	title = {Inconsistency-adaptive Arithmetic},
	journal = {Logique et Analyse},
	volume = {42},
	number = {167-168},
	year = {2000},
	pages = {221-241},
	abstract = {<p>In this article, it is shown that inconsistent arithmetic, as proposed by Jean Paul Van Bendegem and Graham Priest, does not have all the properties they claim the system has. The search for a system of inconsistent arithmetic that does have the intended properties, will lead us through different axiomatizations and different logics, the final result being inconsistency-adaptive arithmetic.</p>},
	author = {Vermeir, Timothy}
}
