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.