Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
José Luis Castiglioni, Rodolfo C. Ertola-Biraben · Logic Journal of IGPL · 2013
In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove the finite model property and strict paraconsistency of this logic.