模糊公式代数相关论文
Zaden的复合命题演算方法(简称CRI方法)虽然已被广泛采纳并在应用上取得了很大成功,然而CRI方法到今尚未有严格的理论基础,本文在一类模糊公式代数......
引入了一种代数,称为模糊公式代数,在这种代数上建立了一个准形式演绎系统,证明了相应的可行性定理与相容性定理,提出了程度化的Modus Ponens规则......