Heyting Algebra and G\"odel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study
Logic
2020-05-05 v4
Abstract
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.
Keywords
Cite
@article{arxiv.1807.05833,
title = {Heyting Algebra and G\"odel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study},
author = {Antonio Di Nola and Revaz Grigolia and Purbita Jana},
journal= {arXiv preprint arXiv:1807.05833},
year = {2020}
}
Comments
Accepted for publication in Azerbijan Journal of Mathematics