Priestley duality for N4-lattices

DOI

10.2991/eusflat.2013.38How to use a DOI?

Keywords

N4-lattices paraconsistent Nelson logic Priestley duality twist-structures Esakia duality

Abstract

We present a new Priestley-style topological duality for 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 quite simple description, which can be easily extended to other algebras such as non-bounded N4-lattices and N4-lattices with modal operators.

Copyright

© 2013, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Ramon Jansana
AU  - Umberto Rivieccio
PY  - 2013/08
DA  - 2013/08
TI  - Priestley duality for N4-lattices
BT  - Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)
PB  - Atlantis Press
SP  - 263
EP  - 269
SN  - 1951-6851
UR  - https://doi.org/10.2991/eusflat.2013.38
DO  - 10.2991/eusflat.2013.38
ID  - Jansana2013/08
ER  -