Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (11): 1-2.DOI: 10.3778/j.issn.1002-8331.2010.11.001
• 博士论坛 • Previous Articles Next Articles
LI Bi-jing1，2，WANG Guo-jun1
Received:
Revised:
Online:
Published:
Contact:
李璧镜1，2，王国俊1
通讯作者:
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
摘要： 在逻辑系统MTL中，对全体逻辑公式集上建立的逻辑伪度量空间进行研究，讨论了孤立点的情形，指出积分真度不为零的公式一定不是对应空间中的孤立点，而对于积分真度为零的公式，则要分不同性质类型的系统讨论，得到的情形也完全不同。
关键词: 积分真度, 逻辑伪度量空间, 孤立点
CLC Number:
O142
LI Bi-jing1，2，WANG Guo-jun1. Isolated points in logic pseudo-metric spaces[J]. Computer Engineering and Applications, 2010, 46(11): 1-2.
李璧镜1，2，王国俊1. 逻辑伪度量空间中的孤立点[J]. 计算机工程与应用, 2010, 46(11): 1-2.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2010.11.001
http://cea.ceaj.org/EN/Y2010/V46/I11/1
