计算机工程与应用2017，Vol.53Issue(11)：67-72,6.DOI:10.3778/j.issn.1002-8331.1601-0011
Gödel n值命题逻辑系统的真度理论
Theory of truth degree in G?del n-valued propositional logic system
摘要
Abstract
The new connectorsΔand～are presented in G?del n-valued propositional logic system in this paper, the defi-nition 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.关键词
Gödeln命题逻辑系统/真度/相似度/伪距离Key words
Gödel n-valued propositional logic system/truth degree/similarity degree/pseudo-metric分类
数理科学引用本文复制引用
朱乃调,惠小静,高晓莉,高姣..Gödel n值命题逻辑系统的真度理论[J].计算机工程与应用,2017,53(11):67-72,6.基金项目
国家自然科学基金重点项目(No.11531009) （No.11531009）
国家自然科学基金(No.11471007) （No.11471007）
陕西省自然科学基金(No.2014JM1020) （No.2014JM1020）
延安大学研究生创新基金. （）
