Showing math.LOShow all
2 papers · 1 filter
math.LO2019
-Topology via Generalised Geometric Logic
P. Jana
This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.
math.LO2018
Heyting Algebra and Gödel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study
Antonio Di Nola, Revaz Grigolia, Purbita Jana
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and propo…