期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

R_0-代数的R_0-语义集上的拓扑 被引量：2

下载PDF
导出
摘要 以Ω_M记R_0^-代数M到R_0^-单位区间的全体赋值之集．证明一个同构于一族全序的至多可数的R_0^-代数的直积的子R_0^-代数M是赋值决定序的,即x≤y当且仅当(?)v∈Ω_M,v(x)≤v(y)．然后通过一种自然的方式在Ω_M上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质．建立R_0^-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理．
作者 张家录 王国俊
机构地区 湘南学院数学系 陕西师范大学数学研究所
出处 《自然科学进展》 北大核心 2006年第9期1079-1086,共8页
基金 国家自然科学基金重点项目(批准号:10331010) 湖南省教育厅科学研究项目(批准号:04C630)资助
关键词 R0-代数 R0-赋值 FUZZY拓扑 截拓扑 紧空间 滤子
分类号 O189.13 [理学—基础数学]
  • 相关文献

参考文献4

二级参考文献47

  • 1李洪兴.从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J].模糊系统与数学,1995,9(4):1-14. 被引量：145
  • 2王国俊.模糊推理的逻辑基础.第四届全国计算机应用联合会议文集[M].北京:电子工业出版社,1997.1018-1113.
  • 3[1]Gorz, G., Holldobler, S., Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence 1137, New York: Springer-Verlag, 1996.
  • 4[2]Shi, C. Y., Huang, C. N., Wang, J. Q., Principle of Artificial Intelligence, Beijing: TsingHua University Press,1993.
  • 5[3]Lloyd, J. W., Foundations of Logic Programming, New York: Springer-Verlag, 1987.
  • 6[4]Schumann, J. M., Automated Theorem Proving in Software Engineering, Berlin: Springer-Verlag, 2001.
  • 7[5]Liu, X. H., Automated Deduction Based on Resolution Principle, Beijing: Science in China Press, 1994.
  • 8[6]Qiu, Y. H., Zhang, W. Q., Introduction to Automated Deduction, Chengdu: Electronic Science and Technology University Press, 1992.
  • 9[7]Chang, C. L., Lee, R. C., Symbolic Logic and Mechanical Theorem Proving, New York: Academic Press, 1987.
  • 10[8]Antoniou, G., Nonmonotonic Reasoning, Cambridge: The MIT Press, 1977.

共引文献136

同被引文献75

引证文献2

二级引证文献10

自然科学进展
2006年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部