A classical-logic view on a paraconsistent logic

C. A. Middelburg

This paper is concerned with the paraconsistent first-order logic LPQ${}^{\supset ,\mathsf{F}}$, Priest's LPQ enriched with an implication connective and a falsity constant. A sequent…