论文部分内容阅读
在Fuzzifying拓扑空间中,运用连续值逻辑LΝ1(赋值格为Lukasiewicz单位区间)语义的方法,以强半开集、强半邻域、强半闭包和强半内部等概念为工具引入了SPT0、SPT1、SPT2、SPT3、SPT4强半分离公理,并且给出了五种强半分离公理各自的等价刻画,讨论了它们彼此之间的关系。这套分离公理本身是协调的,可以作为对已有分离公理一种很好的补充。