Busaniche, M and Cignoli, R., "Residuated lattices as algebraic semantics for paraconsistent Nelson logic", Journal of Logic and Computation (2009), doi: 10.1093/logcom/exp028. Abstract: 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. Busaniche <body> <table width="100%"> <tr> <td align="center"> This page requires frames. <a href="http://www.cimec.org.ar/ojs/index.php/cmm/article/viewDownloadInterstitial/2705/2647">Click here</a> for the non-frames version. </td> </tr> </table> </body>