Priestley duality for N4-lattices.

PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13)(2013)

引用 25|浏览29
暂无评分
摘要
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.
更多
查看译文
关键词
N4-lattices,paraconsistent Nelson logic,Priestley duality,twist-structures,Esakia duality
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要