Return to Issue Details Completeness theorems for first-order logics of formal inconsistency Download Download PDF