%0 Journal Article
%T Remarks on an algebraic semantics for paraconsistent Nelson's logic
%A Busaniche
%A Manuela
%A Cignoli
%A Roberto
%J Manuscrito
%D 2011
%I Universidade Estadual de Campinas
%R 10.1590/S0100-60452011000100005
%X 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.
%K nelson logic
%K paraconsistency
%K residuated lattices
%K substructural logic
%K twist structures.
%U http://www.scielo.br/scielo.php?script=sci_abstract&pid=S0100-60452011000100005&lng=en&nrm=iso&tlng=en