RI: A Logic for Reasoning with Inconsistency

Michael Kifer, Eliezer L. Lozinskii

Browse the full LICS paper archive.