可证度相关论文
基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统G(o)d中公式的理论可证度的计算公式,并研究了它的一系列......
期刊
在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L^＊中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先......
