模糊谓词逻辑相关论文
通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则:平均值MP规则、平均值HS规则、平均值交推理规则.......
在一阶模糊谓词逻辑系统中基于有限解释提出了公式的条件α-真度的概念，并研究了它的性质。......
