计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
11期
1-2,21
,共3页
积分真度%逻辑伪度量空间%孤立点
積分真度%邏輯偽度量空間%孤立點
적분진도%라집위도량공간%고립점
integral truth degree%logic pseudo-metric space%isolated point
在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论.得到的情形也完全不同.
在邏輯繫統MTL中,對全體邏輯公式集上建立的邏輯偽度量空間進行研究,討論瞭孤立點的情形,指齣積分真度不為零的公式一定不是對應空間中的孤立點,而對于積分真度為零的公式,則要分不同性質類型的繫統討論.得到的情形也完全不同.
재라집계통MTL중,대전체라집공식집상건립적라집위도량공간진행연구,토론료고립점적정형,지출적분진도불위령적공식일정불시대응공간중적고립점,이대우적분진도위령적공식,칙요분불동성질류형적계통토론.득도적정형야완전불동.
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.
