命题集F(S)基于相似关系定义的拓扑

在线阅读 下载PDF 导出详情
摘要 在命题集F(S)上利用相似关系进行等价分类,得到一个集合[F].在集合[F]上定义距离p及闭包运算C^*,则在[F]上存在唯一的一个拓扑T使得在拓扑空间([F],T)中,对任意的集合Γ属于[F]都有C^*(Γ)=Γ^-.
机构地区 不详
出处 《安康学院学报》 2007年3期
出版日期 2007年03月13日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献