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ö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.
On the category of Nelson paraconsistent lattices / S. Aguzzoli, M. Busaniche, B. Gerla, M.A. Marcos. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 27:7(2017), pp. 2227-2250. [10.1093/logcom/exx002]
On the category of Nelson paraconsistent lattices
S. Aguzzoli;
2017
Abstract
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ö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.File | Dimensione | Formato | |
---|---|---|---|
exx002.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
269.41 kB
Formato
Adobe PDF
|
269.41 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.