基础R0－代数的性质及在L^＊系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。