期刊信息
- 刊名： 河北师范大学学报（自然科学版）Journal of Hebei Normal University (Natural Science)
- 主办： 河北师范大学
- ISSN： 1000-5854
- CN： 13-1061/N
- 中国科技核心期刊
- 中国期刊方阵入选期刊
- 中国高校优秀科技期刊
- 华北优秀期刊
- 河北省优秀科技期刊
Provable Degree of Formula on Theories in Propositional Fuzzy Logic Systems
摘要/Abstract
摘要：
在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标——称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.
Abstract：
In schematic extension systems Luk,Gd,∏ and L* and propositional fuzzy logic systems MTLS,a new method to estimate theories whether or not infer B based on standard MTL-algebra L=[0,1]is given.First,the conception of provable degree of formula on theories Γ is introduced,which is an index to an extent of theories Γ that infer formula Β;Second,its property is studied,the formula calculating provable degree of foumula on theories is given in propositional fuzzy logic system Luk.
关键词
Key words：
propositional fuzzy logic
;
theory
;
provable degree
;
calculating formula