Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)

Priestley duality for N4-lattices

Authors
Ramon Jansana, Umberto Rivieccio
Corresponding Author
Ramon Jansana
Available Online August 2013.
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)

Volume Title
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)
Series
Advances in Intelligent Systems Research
Publication Date
August 2013
ISBN
10.2991/eusflat.2013.38
ISSN
1951-6851
DOI
10.2991/eusflat.2013.38How to use a DOI?
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/).

Cite this article

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  -