Priestley duality for N4-lattices
Ramón Jansana, Umberto Rivieccio · 2013
We present a new Priestley-style topological duality for bounded N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic.Our duality differs from the existing one, due to Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler.A major advantage of our approach is that for our topological structures we obtain a simple description, which can be easily extended to other algebras such as non-bounded N4-lattices and N4-lattices with modal operators.