关于形式系统L~*及R_0代数的若干结果

Some results on formal system L~* and R_0-algebra

研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.

A formal deductive system L* has been introduced, and L* has been applied to fuzzy reasoning. The system L* is further studied, two new systems are obtained, and the equivalence of these systems are proven. Then the relation between R0algebra and BCKalgebra is discussed. Moreover, an important example about R0algebra is given.