MV-代数

在纯数学分支抽象代数中，MV-代数（多值代数）是带有二元运算 、一元运算和常量的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。