摘要
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。
The new connectorsΔand～are presented in G?del n-valued propositional logic system in this paper,the definition of truth degree,similarity degree and pseudo-metric among formulas are given in G?del n-valued propositional logic system,some related properties of them among formulas are discussed under the system,and the corresponding certificate is presented.
作者
朱乃调
惠小静
高晓莉
高姣
ZHU Naidiao;HUI Xiaojing;GAO Xiaoli;GAO Jiao(College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China)
出处
《计算机工程与应用》
CSCD
北大核心
2017年第11期67-72,共6页
Computer Engineering and Applications
基金
国家自然科学基金重点项目(No.11531009)
国家自然科学基金(No.11471007)
陕西省自然科学基金(No.2014JM1020)
延安大学研究生创新基金
关键词
Godeln命题逻辑系统
真度
相似度
伪距离
Godel n -valued propositional logic system
truth degree
similarity degree
pseudo-metric
