A Logic for Reasoning with Inconsistency

Michael Kifer, Eliezer L. Lozinskii. A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning, 9(2):179-215, 1992.

Abstract

Abstract is missing.