Heyting Algebra and Godel Algebra vs. Various Topological Systems and Esakia Space: a Category Theoretic Study

被引：0

作者：

Di Nola, A. ^{[1
]}

Grigolia, R. ^{[2
]}

Jana, P. ^{[3
]}

机构：

[1] Univ Salerno, Salerno, Italy

[2] Ivane Javakhishvili Tbilisi State Univ, Tbilisi, Georgia

[3] Indian Inst Technol IIT, Kanpur, Uttar Pradesh, India

来源：

AZERBAIJAN JOURNAL OF MATHEMATICS | 2021年 / 11卷 / 01期

关键词：

Heyting algebra; Godel algebra; Esakia space; intuitionistic logic; topological system;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

This paper introduces a notion of intuitionistic topological system. Properties of the proposed system is studied in details. Categorical interrelationships among Heyting algebra, Godel algebra, Esakia space and proposed intuitionistic topological systems have also been studied. A flavour of Kripke model is given.

引用

页码：118 / 135

页数：18