Łukasiewicz逻辑

在数学和哲学中，Łukasiewicz逻辑，是一种非经典的多值逻辑。它属于t-norm模糊逻辑和亚结构逻辑的范畴。换句话说，关于未来的陈述既不是真的也不是假的，但可以给它们分配一个中间值，以表示它们在未来成为真的可能性。

Łukasiewicz逻辑的命题连接词被称为弱分离和连接。连接词被称为弱分离和连接，因为它们是非经典的，因为排除中间律对它们不成立。在子结构逻辑的背景下，它们被称为加性连接词。它们也对应于格子的最小/xxx连接词。就子结构逻辑而言，也有强或乘法的分离连接词和连接词，尽管这些不是卢卡西维茨的原始表述的一部分。

命题无限值的卢卡西维茨逻辑的原始公理系统使用暗示和否定作为基本连接词，同时还使用了模因。命题无限值的卢卡西维茨逻辑也可以通过在单曲面t-norm逻辑的公理系统中添加以下公理来进行公理化。可分性也就是说，通过在基本模糊逻辑（BL）中加入双重否定的公理，或者在逻辑IMTL中加入可分性的公理，就产生了无限值的卢卡西维茨逻辑。有限价值的卢卡西维茨逻辑需要额外的公理。

无限值卢卡西维茨逻辑是一种实值逻辑，在这种逻辑中，来自句子微积分的句子不仅可以被赋予0或1的真值，也可以被赋予介于两者之间的任何实数。