摘要
研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。
The formal deductive system L for fuzzy prepositional calculus and R0-algebra relevant to former in semantics have been studied, a concept of basic R0-algebra with its properties is proposed in this paper. We change the deduction and proof in L system into the relevant algebra's operation in R0-algebra. As its application, we prove the fuzzy deductive theorem in L system.
