模糊化(拓扑)导空间

界定了模糊化(拓扑)导算子满足的公理,并且给出了若干模糊化(拓扑)导算子的刻画;同时建立了模糊化(拓扑)导算子和模糊化(拓扑)闭包算子之间的关系,进一步引入了模糊化拓扑导空间范畴I-GDS,并证得范畴I-GCS和I-GDS同构.     

拓扑空间范畴,拓扑FUZZ范畴与拓扑分子格范略畴间的反射与余反射

从整体角度出发，证明拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚｚｙ是ＴＭＬ的反射与余反射（非满）子范畴。     

模糊化拟一致结构导出的拓扑

从模糊化拟一致结构μ出发,分别导出了模糊化内部算子和模糊化闭包算子,进而导出了两个模糊化拓扑τμ和ημ.结果表明,若μ是模糊化拟一致结构,则τμ=ημ不一定成立;若μ是模糊化一致结构,则τμ=ημ成立。     

拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．     

L-fuzzy拓扑空间的弱诱导化

对任一L-fuzzy拓扑空间,本文给出了两个与之密切相关的弱诱导空间,从而证明了弱诱导空间范畴是一般fuzzy拓扑空间范畴的反射和余反射满子范畴.特别地我们较详细地讨论了次T_o完全正则空间的弱诱导化.     

点式模糊化拟一致结构诱导的双拓扑

引入点式模糊化拟一致结构u,并由其分别导出了模糊化内部算子和模糊化闭包算子,进而诱导两个模糊化拓扑(?)和η_u.结果表明,若u是点式模糊化拟一致结构,则T_u=η_u不一定成立;若u是点式模糊化一致结构,则(?)=η_u成立.     

L-预拓扑空间中的近似L-开集及相关的连通性和范畴性质

研究L-预拓扑空间中L-开集的一些近似形式(其中L是有逆合对应的C-格):θ-L-开集,δ-L-开集,α-L-开集以及β-L-开集。证明了(1)当L的最大元1是并既约元时L-预拓扑空间的连通性、θ-连通性、δ-连通性和α-连通性是等价的;(2)θLTop是LTopsθ、LTop以及LTopθ的反射满子范畴,δLTop是LTopsδ和LTopδ的反射满子范畴;(3)当格L为幂集格时αLTop是LTopsα和LTopα的余反射满子范畴;θLPTop是LPTopsθ、LPTop以及LPTopθ的反射满子范畴,δLPTop是LPTopsδ和LPTopδ的反射满子范畴。     

模糊化Cook-Fischer对角条件及其应用

在模糊化收敛理论的框架下,提出了模糊化Cook-Fischer对角条件.在阐述Cook-Fischer对角条件的合理性的同时,文中结果表明满足Cook-Fischer对角条件的模糊化收敛结构必是预拓扑的,而且证得模糊化收敛结构是拓扑的当且仅当其满足Cook-Fischer对角条件.作为应用,本文还证得Cook-Fischer对角条件可以描述收敛结构的正则性.     

Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

KM伪度量空间中的模糊化收敛结构

分别提供了由KM伪度量到模糊化收敛结构和由模糊伪度量链到模糊化收敛结构的转化方法,并且证明了由KM伪度量诱导的模糊化拓扑进而诱导的模糊化收敛结构和KM伪度量直接诱导的模糊化收敛结构相同.而且,还证明了由KM伪度量诱导的模糊伪度量链进而诱导的模糊化收敛结构和由KM伪度量直接诱导的模糊化收敛结构相同.     

不分明化拓扑中强紧性

在不分明化拓扑空间中,从pre-开集出发引入了强紧性的概念,并且给出了它的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究.     

基于连续值逻辑上的不分明化拓扑线性空间

在连续逻辑的语义框架下,我们给出了不分明化拓扑线性空间的概念,讨论了零元平衡邻域系的结构和性质,并在不分明化拓扑线性空间中给出不分明化凸集的代数与拓扑性质。     

模糊化内缀码和模糊化外缀码

在自由幺半群上引进模糊化内缀码和模糊化外缀码的概念，并进一步讨论它们的基本代数性质。     

不分明化PCK—代数

在BCK－代数中定义了不分明化子代数和不分明化理想的概念,讨论了它们的性质及彼此间的关系。     

模糊化理想

引入模糊化理想,研究了模糊化理想的收敛理论,获得了一些重要结果。     

IFYTOP同构于IFYNS

首先引入了直觉Fuzzifying邻域系和直觉Fuzzifying邻域空间的概念,进而证明了直觉Puzzifying邻域空间范畴IFYNS同构于直觉Fuzzifying拓扑空间范畴IFYTOP.     

基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

在L~*-格值逻辑的语义框架下,以L~*-格值上的Lukasiewicz蕴涵算子为工具定义了L~*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L~*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想.     

不分明化拓扑线性空间

给出了不分明化拓扑线性空间的定义,讨论了此类拓扑线性空间的平衡零元邻域系的结构和性质。     

Pre—Separation Axioms in Fuzzifying Topology

1　 IntroductionYing[5,6 ] introduced and elementally developed so called fuzzifying topology with the semanticmethod of continuous valued L ogic.Shen[7] introduced and studied T0 -,T1-,T2 (Hausdorff) -,T3(regularity) -,T4 (normality) -separation axioms in fuzzifying topology.In [3 ]the concepts of thefamily of fuzzifying pre-open sets,fuzzifying pre-neighbourhood structure of a point and fuzzifyingpre-closure are introduced and studied.It is worth to mention that pre-separation axioms are …     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.