A Note on Hilbert Algebras and Their Related Generalized Esakia Spaces

Order(2015)

引用 3|浏览42
暂无评分
摘要
Generalized Esakia spaces are the topological duals of bounded implicative semilattices in the duality studied by G. Bezhanishvili and R. Jansana. We study the relation between a Hilbert algebra and the generalized Esakia space dual to its free implicative semilattice extension. To establish the relation we introduce a category whose objects are a generalized Esakia space together with a family of clopen up-sets that constitutes a subalgebra of the implication fragment of the Heyting algebra of the up-sets of the generalized Esakia space.
更多
查看译文
关键词
Hilbert algebras,Preistley duality,Implicative fragment of intuitionistic logic,Esakia duality
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要