模糊逻辑
在多值逻辑中，给定一个 MV-代数 A，一个 A-賦值就是从命题演算中公式的集合到 MV-代数的函数。如果对于所有 A-賦值这个函数把一个公式映射到 1（或 formula_180），则这个公式是一个 A-重言式。因此对于无穷值逻辑（比如模糊逻辑、武卡谢维奇逻辑），我们设 [0,1] 是 A 的下层集合来获得 [0,1]-賦值和 [0,1]-重言式（经常就叫做賦值和重言式）。