NPc-algebras and Gödel hoops

MARCOS, MIGUEL ANDRÉS

Barcelona

Conferencia; Syntax Meets Semantics 2016 (SYSMICS2016); 2016

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.