INVESTIGADORES
MARCOS Miguel Andres
artículos
Título:
On the category of Nelson paraconsistent lattices
Autor/es:
AGUZZOLI, STEFANO; BUSANICHE, MANUELA; GERLA, BRUNELLA; MARCOS, MIGUEL ANDRÉS
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
OXFORD UNIV PRESS
Referencias:
Lugar: Oxford; Año: 2017
ISSN:
0955-792X
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.
