?ukasiewicz邏輯

在數學和哲學中，?ukasiewicz邏輯，是一種非經典的多值邏輯。它屬于t-norm模糊邏輯和亞結構邏輯的范疇。換句話說，關于未來的陳述既不是真的也不是假的，但可以給它們分配一個中間值，以表示它們在未來成為真的可能性。

?ukasiewicz邏輯的命題連接詞被稱為弱分離和連接。連接詞被稱為弱分離和連接，因為它們是非經典的，因為排除中間律對它們不成立。在子結構邏輯的背景下，它們被稱為加性連接詞。它們也對應于格子的最小/xxx連接詞。就子結構邏輯而言，也有強或乘法的分離連接詞和連接詞，盡管這些不是盧卡西維茨的原始表述的一部分。

命題無限值的盧卡西維茨邏輯的原始公理系統使用暗示和否定作為基本連接詞，同時還使用了模因。命題無限值的盧卡西維茨邏輯也可以通過在單曲面t-norm邏輯的公理系統中添加以下公理來進行公理化。可分性也就是說，通過在基本模糊邏輯（BL）中加入雙重否定的公理，或者在邏輯IMTL中加入可分性的公理，就產生了無限值的盧卡西維茨邏輯。有限價值的盧卡西維茨邏輯需要額外的公理。

無限值盧卡西維茨邏輯是一種實值邏輯，在這種邏輯中，來自句子微積分的句子不僅可以被賦予0或1的真值，也可以被賦予介于兩者之間的任何實數。