On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency

From MaRDI portal