命题模糊逻辑系统Gd中公式的理论可证度  

Provable degree of formula on theories in the propositional fuzzy logic system Gd

作　　者：高芹[1] 张兴芳[1] 王庆平[1] 

机构地区：[1]聊城大学数学科学学院,山东聊城252059

出　　处：《山东大学学报（理学版）》2007年第10期90-95,99,共7页Journal of Shandong University(Natural Science)

基　　金：山东省自然科学基金资助项目(Y2003A01);教育部科学技术研究重点资助项目(206089)

摘　　要：基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统Gd中公式的理论可证度的计算公式,并研究了它的一系列性质.Based on the concept of provable degree of formula on theories in propositional fuzzy logic systems, the calculating formula provable degree of formula on theories was given in the propositional fuzzy logic system, and its properties were shown.

关 键 词：命题模糊逻辑系统God 可证度 计算公式 

分 类 号：O141.1[理学—数学]