计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (18): 52-57.DOI: 10.3778/j.issn.1002-8331.1707-0362
杨文华
YANG Wenhua
摘要: 在[Fuzzifying]拓扑空间中,运用连续值逻辑[LΝ1](赋值格为[Lukasiewicz]单位区间)语义的方法,以强半开集、强半邻域、强半闭包和强半内部等概念为工具引入了[SPT0、][SPT1、][SPT2、][SPT3、][SPT4]强半分离公理,并且给出了五种强半分离公理各自的等价刻画,讨论了它们彼此之间的关系。这套分离公理本身是协调的,可以作为对已有分离公理一种很好的补充。