摘要
在逻辑系统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.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第11期1-2,21,共3页
Computer Engineering and Applications
基金
国家自然科学基金No.10771129
宝鸡文理学院重点科研项目(No.ZK2519)~~
关键词
积分真度
逻辑伪度量空间
孤立点
integral truth degree
logic pseudo-metric space
isolated point