目录
多值逻辑
多值逻辑是有多于两个的可能的真值的逻辑演算。传统上,逻辑演算是二值的,就是说对于任何命题都只有两个可能的真值,真和假(它一般对应于我们直觉概念的真理和虚假)。但是二值只有一个可以被指派的可能的真值范围,已经开发了一些其他逻辑系统,带有对二值的变异,或带有多于两个可能的真值指派。.
查看 武卡谢维奇逻辑和多值逻辑
對合
在数学中,对合(involution)或对合函数,是逆函数等于自身的函数,就是说.
查看 武卡谢维奇逻辑和對合
MV-代数
在纯数学分支抽象代数中,MV-代数(多值代数)是带有二元运算 \oplus、一元运算 \neg 和常量 0 的满足特定公理的代数结构。多值逻辑是 MV-代数的模型。.