Remarks on an algebraic semantics for paraconsistent Nelson's logic

in the paper busaniche and cignoli (2009) we presented a quasivariety of commutative residuated lattices, called npc-lattices, that serves as an algebraic semantics for paraconsistent nelson's logic. in the present paper we show that npc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of npc-lattices and some subvarieties of npc-lattices.