On the category of Nelson paraconsistent lattices.

JOURNAL OF LOGIC AND COMPUTATION(2017)

引用 7|浏览14
暂无评分
摘要
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 Godel hoops, we get the subvariety of Godel NPc-lattices and, using the dual equivalence of finite Godel hoops with finite trees, we obtain a duality for finite Godel NPc-lattices. This duality is used to describe finitely generated free Godel NPc-lattices.
更多
查看译文
关键词
Nelson paraconsistent lattices,Brouwerian algebras,Godel hoops,dual equivalences,free algebras
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要