IMAL 13325
INSTITUTO DE MATEMATICA APLICADA DEL LITORAL "DRA. ELEONOR HARBOURE"
Unidad Ejecutora - UE
artículos
Título:
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Autor/es:
BUSANICHE, MANUELA; CIGNOLI, ROBERTO
Revista:
MANUSCRITO
Editorial:
Center for Logic, Epistemology and the History of Science
Referencias:
Lugar: Campinas; Año: 2010
ISSN:
0100-6045
Resumen:
We show that extending paraconsistency Nelson logic by a constant e we obtain an axiomatic extension of a substructural logic, namely the Full Lambeck Calculus with exchange. We do this by finding a suitable subvariety of residuated lattices that serves as a semantics of parconsitent Nelson logic, that we called NPc-lattices. We prove some interesting algebraic properties of NPc-lattices.
