Modal compact Hausdorff spaces
Modal compact Hausdorff spaces
复制标题
模态紧豪斯多夫空间
DOI：
10.1093/logcom/exs030
复制
发表时间：
2012
影响因子：
0.7
通讯作者：
Bezhanishvili G
中科院分区：
文献类型：
--
作者：
Bezhanishvili G
我们引入模态紧化Hausdorff空间作为模态空间的推广，并证明了这些是紧化Hausdorff空间上Vietoris函子的余代数。引入模态紧化正则框架和模态de Vries代数作为模态紧化Hausdorff空间的代数对应物，并给出了所涉及范畴的对偶性。这些扩展了紧化Hausdorff空间的Isbell和de Vries对偶性，以及模态空间和模态代数之间的对偶性。作为模态紧化Hausdorff空间逻辑处理的第一步，给出了正模态语言的Sahlqvist对应的一个版本。
We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames and modal de Vries algebras are introduced as algebraic counterparts of modal compact Hausdorff spaces, and dualities are given for the categories involved. These extend the familiar Isbell and de Vries dualities for compact Hausdorff spaces, as well as the duality between modal spaces and modal algebras. As the first step in the logical treatment of modal compact Hausdorff spaces, a version of Sahlqvist correspondence is given for the positive modal language.
登录
查看更多内容
DOI：
--
发表时间：
1940
期刊：
影响因子：
--
作者：
S. Kakutani
通讯作者：
S. Kakutani
正模态逻辑的 Priestley 对偶性、Sahlqvist 定理和 Goldblatt-Thomason 定理
影响因子：
1
作者：
S. Celani;R. Jansana
通讯作者：
R. Jansana
分配模态逻辑的 Sahlqvist 定理
DOI：
10.1016/j.apal.2004.04.007
发表时间：
2005
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
M. Gehrke;Hideo Nagahashi;Y. Venema
通讯作者：
Y. Venema
有序代数结构的完成：一项调查
DOI：
--
发表时间：
2008
期刊：
Interval / Probabilistic Uncertainty and Non-Classical Logics
影响因子：
--
作者：
J. Harding
通讯作者：
J. Harding
DOI：
10.2307/2314616
发表时间：
1965
期刊：
--
影响因子：
--
作者：
L. Nachbin
通讯作者：
L. Nachbin