分配抽象逻辑与Esakia对偶
Distributive abstract logics and the Esakia duality
摘要：
在本文中，我们开发了一个几乎通用的过程，从布朗和Suszko意义上的抽象逻辑格。用这种方法可以建立抽象逻辑的某些范畴与相应的拓扑空间范畴之间的对偶。更详细地，我们将解释具有直觉态射的抽象直觉主义逻辑范畴和具有Esakia态射的Esakia空间范畴之间的对偶性。
英文摘要：
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
