蕴涵格与海廷代数的无选择拓扑对偶
逻辑
2023-10-04 v1 计算机科学中的逻辑
摘要
我们为 （直觉主义命题演算）以及弱于 的逻辑（子结构逻辑与子直觉主义逻辑）的解释开发了一个共同的语义框架。这是通过证明蕴涵格（可能分配也可能不分配）的无选择表示与对偶定理来实现的。该对偶特化为海廷代数范畴与具有三元排序关系的拓扑排序框架范畴之间的无选择对偶。
引用
@article{arxiv.2302.03674,
title = {Choice-free Topological Duality for Implicative Lattices and Heyting Algebras},
author = {Chrysafis Hartonas},
journal= {arXiv preprint arXiv:2302.03674},
year = {2023}
}