无限值逻辑

在逻辑中，无限值逻辑（无限多值逻辑）是一种多值逻辑，其中真值包含连续范围。传统上，在亚里士多德的逻辑中，除二值逻辑之外的逻辑都是不正常的，因为排中律排除了任何命题的两个以上可能值（即“真”和“假”）。现代三值逻辑允许额外的可能真值（即“未定”），并且是有限值逻辑的一个范例，其中真值是离散的，而不是连续的。无限值逻辑则包括连续模糊逻辑，尽管某些形式的模糊逻辑可以进一步包含有限值逻辑。例如，有限值逻辑可以应用于布林值建模、 描述逻辑、和对模糊逻辑的去模糊化。