度量空间是理解拓扑空间和序结构的重要工具.Galois联络是偏序集间的一对特殊映射,在序论研究中起到了非常重要的作用.近年来,作为......

Locke理论是经典拓扑学的代数形式推广，locke理论的一个重要应用是topos理论。本学位论文在已有的理论成果的基础上，对拓扑空间范畴......

本文在完全分配格的格值环境下,主要关注L—fuzzifying(不分明)拓扑学中如下的问题:(1)L—fuzzifying拓扑结构与可延L—fuzzy(格值......

形式概念分析由Wille于1982年提出,并已发展为一种基于序理论的有效的数据分析方法.经典的形式概念可追溯到人们对哲学意义下外延-......

将形式化方法引入到Galois联络的研究当中,提出了一种基于Galois联络的逻辑系统LGC,给出了其等价形式并证明了完备性定理.由于Galo......

在完全分配格的格值环境下,提供了L-fuzzifying拓扑结构和可延L-fuzzy拓扑结构相互转化的方法.还进一步研究了L-fuzzifying拓扑空......