正则 Heyting 代数的 Esakia 对偶
逻辑
2023-12-12 v2
摘要
本文借助 Esakia 对偶研究正则 Heyting 代数。特别地，我们给出了对偶于正则 Heyting 代数的 Esakia 空间的特征刻画，并证明了由正则 Heyting 代数生成的 Heyting 代数簇有连续统多个。我们还研究了这些对象类的若干逻辑应用，并用它们为探究逻辑、-逻辑和依赖逻辑提供了新的拓扑完备性定理。
引用
@article{arxiv.2303.11246,
title = {Esakia Duals of Regular Heyting Algebras},
author = {Gianluca Grilletti and Davide Emilio Quadrellaro},
journal= {arXiv preprint arXiv:2303.11246},
year = {2023}
}