题目：余剩余格及其应用

　　不同的多值逻辑系统对应着不同的逻辑代数系统。早在1958年，著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入了MV-代数的理论并成功地证明了Lukasiewicz系统的完备性。 　　近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果（[1],[3-14]），这些研究成果既促进了多值逻辑的发展，又丰富了代数学的内容。