电子学报2011，Vol.39Issue(8)：1864-1868,5.
n值S-MTL命题逻辑系统中公式真度的统一理论
Unified Theory of Truth Degrees in n-Valued S-MTL Propositional Logic
摘要
Abstract
The concept of strong regular implication operator and the n-valued S-MTL prepositional logic system are introduced. Based on probability measure the truth degree of formula is defined and its integral expression is given and the inference rules w.r.t the truth degrees is proved.Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas. The continuity of logical operators w. R. T the pseudo-distance is proved, and hence a possible framework suitable for developing approximate reasoning theory in n-valued S-MTL propositiooal logic is established.关键词
真度/强正则蕴涵算子/n值S-MTL命题逻辑系统/伪距离Key words
truth degree/ strong regular implication operators/ n-valued S-MTL prepositional logical system/ pseudo-distance分类
数理科学引用本文复制引用
李骏,邓富喜..n值S-MTL命题逻辑系统中公式真度的统一理论[J].电子学报,2011,39(8):1864-1868,5.基金项目
国家自然科学基金(No.10771129) （No.10771129）
