计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (11): 1-2.DOI: 10.3778/j.issn.1002-8331.2010.11.001
• 博士论坛 • 上一篇 下一篇
李璧镜1,2,王国俊1
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
LI Bi-jing1,2,WANG Guo-jun1
Received:
Revised:
Online:
Published:
Contact:
摘要: 在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
关键词: 积分真度, 逻辑伪度量空间, 孤立点
Abstract: The situation of isolated points in logic pseuo-metric spaces induced by integral truth degrees in MTL are disscussed.The formulas are definitely not the isolated points in correspongding spaces when their truth degrees are not equal to zero is proved.However,for the formulas whose truth degrees equal zero,the conclusions are completed different whenever the characteristic of logic systems are changed.
Key words: integral truth degree, logic pseudo-metric space, isolated point
中图分类号:
O142
李璧镜1,2,王国俊1. 逻辑伪度量空间中的孤立点[J]. 计算机工程与应用, 2010, 46(11): 1-2.
LI Bi-jing1,2,WANG Guo-jun1. Isolated points in logic pseudo-metric spaces[J]. Computer Engineering and Applications, 2010, 46(11): 1-2.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2010.11.001
http://cea.ceaj.org/CN/Y2010/V46/I11/1