MV-代数、BL-代数、R_0-代数与多值逻辑

MV-Algebras, BL-Algebras, R_0-Algebras, and Multiple-Valued Logic

证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 。

Three different definitions of MV algebra are proved to be equivalent to each other. The logic background of MV algebras, BL algebras, and R 0 algebras are analysed. Moreover, several questions worthy to be investigated are proposed.