Remarks on an algebraic semantics for paraconsistent Nelson's logic
AUTOR(ES)
Busaniche, Manuela, Cignoli, Roberto
FONTE
Manuscrito
DATA DE PUBLICAÇÃO
2011-06
RESUMO
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.