Remarks on an algebraic semantics for paraconsistent Nelson's logic

Abstract

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.

Keywords

• Nelson logic
• Paraconsistency
• Residuated Lattices
• Substructural Logic
• Twist Structures