| 命题模糊逻辑系统中公式的理论可证度 |
| |
| 引用本文： | 张兴芳.命题模糊逻辑系统中公式的理论可证度[J].河北师范大学学报(自然科学版),2007,31(4):421-426. |
| |
| 作者姓名： | 张兴芳 |
| |
| 作者单位： | 聊城大学,数学科学学院,山东,聊城,252059 |
| |
| 摘 要： | 在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.
|
| 关 键 词： | 命题模糊逻辑 理论 可证度 计算公式 |
| 文章编号： | 1000-5854（2007）04-0421-06 |
| 修稿时间： | 2006-10-312006-12-25 |
Provable Degree of Formula on Theories in Propositional Fuzzy Logic Systems |
| |
| ZHANG Xing-fang.Provable Degree of Formula on Theories in Propositional Fuzzy Logic Systems[J].Journal of Hebei Normal University,2007,31(4):421-426. |
| |
| Authors: | ZHANG Xing-fang |
| |
| Institution: | School of Mathematics Seienee,Liaoeheng University,Shandong Liaocheng 252059,China |
| |
| Abstract: | |
| |
| Keywords: | propositional fuzzy logic theory provable degree calculating formula |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
