论文部分内容阅读
不同的多值逻辑系统对应着不同的逻辑代数系统，早在1958年，著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入了MV-代数的理论并成功地证明了Lukasiewicz系统的完备性。近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果。这些研究成果既促进了多值逻辑的发展，又丰富了代数学的内容。
本文提出的余剩余格理论为我们研究多值逻辑提供了又一有力的工具，并为研究各种逻辑代数之间的联系奠定了新的基础。