武卡謝維奇邏輯

在數學中 ， Łukasiewicz 邏輯是非經典 、 多值邏輯 。 它最初由揚 · 武卡謝維奇定義爲叫做 “ 三價邏輯 ” 的三值邏輯 ； 它後來被推廣爲 n 值 ( 對於所有有限 n ) 和無限多值變體 ， 命題和一階都有 。 它屬於t - 規範模糊邏輯 和亞結構邏輯類 。