主页 > 工程 > 计算机 > CS_TECHREP公司 > 605
弗朗西斯科·萨帕塔,德克萨斯大学埃尔帕索分校 弗拉基克·克雷诺维奇,德克萨斯大学埃尔帕索分校跟随
8-2011
技术报告:UTEP-CS-11-16b
出现在Studia Logica公司,2012年,第100卷,第1-2期。
在他的逻辑论文中,Leo Esakia研究了相应的序拓扑空间和序保映射。类似的空间和映射出现在许多其他应用领域,如时空因果关系分析。众所周知,在合理的条件下,如果我们知道序关系的“内部”,则拓扑和原始序关系都可以唯一地重建。我们还知道,在某些情况下,我们可以根据原始顺序关系唯一地重建<(因此,拓扑)。本文证明,一般来说,在合理的条件下,开阶<(因此,相应的拓扑)可以由其闭包唯一确定。
下载
自2012年3月22日起
计算机工程通用
高级搜索