期刊文献+

L3^*系统中逻辑度量空间的拓扑性质 被引量:1

Topological properties of three-valued logic metric space
原文传递
导出
摘要 研究了L3*系统中逻辑度量空间的拓扑性质,证明了逻辑度量空间(F(S),ρ3)是不完备、非紧致零维空间,该空间具有一种类似于樊畿性质的所谓"有限等球连通性"。 Topological properties of logic metric space in the system L3^* are studied. It is proved that (F(S) ,ρ3 ) is zero dimensional but not complete and not compact. Also, it possesses a property similar to the Key Fan's property for describing connectedness of topological spaces.
出处 《山东大学学报(理学版)》 CAS CSCD 北大核心 2010年第6期86-90,共5页 Journal of Shandong University(Natural Science)
基金 国家自然科学基金资助项目(10771129) 陕西师范大学研究生培养创新基金(2009CXB006)
关键词 L3^*系统 逻辑度量空间 不完备 非紧致空间 零维空间 the system L3 ^* logic metric space incomplete noncompact space zero dimensional space
  • 相关文献

参考文献6

  • 1PAVELKA J. On fuzzy logic [ J ]. Z Mathematik Logic Grundlagen Mathematics, 1979, 25 ( 1,2,5 ) :45-52.
  • 2YING M S. A logic for approximate reasoning[J]. Symbolic Logic, 1994, 59(3 ) :830-837.
  • 3WANG G J. Introduction to mathematical logic and resolution principle[ M]. 2nd ed. Beijing: Science in China Press, 2006.
  • 4王国俊,折延宏.二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J].数学学报(中文版),2007,50(4):841-850. 被引量:26
  • 5SHE Y H, WANG G J. Topological characterizations of properties of logic theories in three-valued propositional logic system L3^* [J]. Acta Mathematica Sinica, 2009, 72(11 ) :542-548.
  • 6PEI D W, WANG S M. Completeness of the formal system Ln^* [ J ]. Applied Mathematics Jounal of Chinese Universities, 2001, 16(3) :253-262.

二级参考文献5

共引文献25

同被引文献13

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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