摘要
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。
Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J. Wang, the theory of ∑Г-truth degree was introduced, and its properties which induce a pseudo-metric on F（S） were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.
出处
《山东大学学报（理学版）》
CAS
CSCD
北大核心
2008年第2期35-39,共5页
Journal of Shandong University(Natural Science)
基金
国家自然科学基金资助项目(10471083)
陕西师范大学重点科研基金资助项目(995130)
