The variety of N4â”´ -lattices provides an algebraic semantics for the logic N4â”´, a version of Nelson's logic combining paraconsistent strong negation and explosive intuitionistic negation. In this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback