抽象代数中，MV-代数（多值代数）是带有二元运算 formula_1、一元运算 formula_2 和常量 formula_3 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。
定义.设 "A" 是个集合。MV-代数是代数结构，带有型 formula_4 的标识(signature) formula_5，它满足如下恒等式：备注：通过前三个公理 formula_12 是交换幺半群。或者作为替代，MV-代数是一个剩余格 formula_13 满足额外恒等式Hájek