可证度相关论文
近年来,大量的学者从事基于三角模的非经典逻辑(包括命题逻辑和谓词逻辑)的研究(其中著名的逻辑系统Lukasiewicz逻辑,Product逻辑,God......
基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统G(o)d中公式的理论可证度的计算公式,并研究了它的一系列......
期刊
在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L^*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先......
基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式,并研究了它的一系列性质.......