欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
将模糊命题逻辑系统中的∑-（α-重言式）理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑г-模糊真度理论，讨论了其中的主要性质。特别地证明了真度关系：τг（A）＋τг（A—B）≤1＋τг（B），并利用这一关系在模糊命题演算系统Ln中的公式集F（S）上引入相对于有限理论的Г-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。
英文摘要：
The theory of ∑-a-tautologies of fuzzy propositional logic was combined with the theory of truth degree in metmlogy of logic introduced by professor G.J. Wang, and the theory of ∑г-fuzzy truth degrees of formula relative to the finite theory in proposifional logic system Ln was introduced. By employing the theory of ∑г-fuzzy truth degree, the concepts of F-pseudo-metric on F（S） was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.
同期刊论文项目
同项目期刊论文
期刊信息
位置：