关注我们：

solidot新版网站常见问题，请点击这里查看。

Heyting Algebra and G\"odel Algebra vs. various Topological System and Esakia Space: a Category Theoretic Study. (arXiv:1807.05833v1 [math.LO])

来源于:arXiv
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in details. 查看全文>>