Artículo

Remarks on an algebraic semantics for paraconsistent Nelson's logic

Busaniche, ManuelaIcon ; Cignoli, Roberto Leonardo OscarIcon
Fecha de publicación: 03/2011
Editorial: Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência
Revista: Manuscrito
ISSN: 0100-6045
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: Nelson Logic , Paraconsistency , Residuated Lattices , Substructural Logics
 
Archivos asociados
Thumbnail
 
Tamaño: 376.0Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/67950
URL: http://ref.scielo.org/7yn5zs
DOI: http://dx.doi.org/10.1590/S0100-60452011000100005
Colecciones
Articulos(IMAL)
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Citación
Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar; Remarks on an algebraic semantics for paraconsistent Nelson's logic; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 34; 1; 3-2011; 99-114
Compartir
Altmétricas