Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
JL Castiglioni, RCE Biraben�- Logic Journal of the IGPL, 2014 - ieeexplore.ieee.org
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.
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.
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
RCE Biraben, JL Castiglioni�- Interest group in pure and�…, 2014 - repositorio.unicamp.br
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...
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...
Showing the best results for this search. See all results