R_0代数的一种等价形式

An Equivalent System of R_0 Algebra

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.

R0 Algebra is relevant to the formal deductive system L＊ for fuzzy propositional calculus in semantics. The definitions of R0 and basic R0 （BR） algebra are introduced for further research, Characteristics of R0 algebra are studied, also the difference and relationship between R0 and BR algebra are discussed. BR Algebra is R0 algebra on the condition of （a→b）∨（（a∨b）∨┐a∨b） = 1. One equivalent system of R0 algebra is obtained.