舆论摘要:余结余格及其运用
各别的多值论理体例对应着各别的论理代数体例。早在1958年,驰名论理学家C.C.Chang为处置Lukasiewicz多值论理体例的完美性而引入了MV-代数的表面并胜利地证领会Lukasiewicz体例的完美性。 近半个世纪此后,列国鸿儒对MV-代数以及很多具备论理后台的代数体例的接洽已博得了丰富的功效([1],[3-14]),那些接洽功效既激动了多值论理的兴盛,又充分了代数学的实质。
各别的多值论理体例对应着各别的论理代数体例。早在1958年,驰名论理学家C.C.Chang为处置Lukasiewicz多值论理体例的完美性而引入了MV-代数的表面并胜利地证领会Lukasiewicz体例的完美性。 近半个世纪此后,列国鸿儒对MV-代数以及很多具备论理后台的代数体例的接洽已博得了丰富的功效([1],[3-14]),那些接洽功效既激动了多值论理的兴盛,又充分了代数学的实质。