IMAL 13325
INSTITUTO DE MATEMATICA APLICADA DEL LITORAL "DRA. ELEONOR HARBOURE"
Unidad Ejecutora - UE
artículos
Título:
On the category of Nelson Paraconsistent Lattices
Autor/es:
MARCOS, MIGUEL; AGUZZOLI, STEFANO; GERLA, BRUNELLA; BUSANICHE, MANUELA
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
OXFORD UNIV PRESS
Referencias:
Lugar: Oxford; Año: 2017 vol. 27 p. 2227 - 2250
ISSN:
0955-792X
Resumen:
We present an equivalence between the category of Nelson Paraconsistent lattices and a category of pairs of Brouwerian algebras and regular filters. Specializing such category of peairs to Gödel hoops, we the subvariety of Gödel NPc-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.
