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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback