IMAL   13325
INSTITUTO DE MATEMATICA APLICADA DEL LITORAL "DRA. ELEONOR HARBOURE"
Unidad Ejecutora - UE
artículos
Título:
Residuated lattices as algebraic semantics for paraconsistent Nelson logic
Autor/es:
BUSANICHE, MANUELA; CIGNOLI, ROBERTO
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
Oxford Press
Referencias:
Lugar: Oxford, Inglaterra; Año: 2009 vol. 19 p. 1019 - 1029
ISSN:
0955-792X
Resumen:
The class of NPc-lattices is introduced as a quasivariety ofcommutative residuated lattices, and it is shown that the class ofpairs (A, A+) such that A is an NPc-lattice and A+ is itspositive cone, is a matrix semantics for Nelson paraconsistentlogic.