Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
The class of NPc-lattices is introduced as a quasivariety of commutative residuated lattices, and it is shown that the class of pairs (A,A(+)) such that A is an NPc-lattice and A(+) is its positive cone, is a matrix semantics for Nelson paraconsistent logic.
paraconsistent nelson's logic n4-lattices residuated lattices with involution twist-structures constructive logic