Artículo
On the category of Nelson paraconsistent lattices
Fecha de publicación:
10/2017
Editorial:
Oxford University Press
Revista:
Journal Of Logic And Computation
ISSN:
0955-792X
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and a category of pairs of Brouwerian algebras and regular filters. Specializing such category of pairs to Gödel hoops, we get the subvariety of GödelNPc-lattices and, using the dual equivalence of finite Gödel hoops with finite trees, we obtain a duality for finite Gödel NPc-lattices. This duality is used to describe finitely generated free Gödel NPc-lattices.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(IMAL)
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Citación
Marcos, Miguel; Gerla, Brunella; Busaniche, Manuela; Aguzzoli, Stefano; On the category of Nelson paraconsistent lattices; Oxford University Press; Journal Of Logic And Computation; 27; 7; 10-2017; 2227-2250
Compartir
Altmétricas