计算机工程与应用 ›› 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
摘要: 在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
中图分类号: