Многозначная логика — тип
формальной логики, характерный наличием более чем двух возможных истинностных значений (
истинности и
ложности). Первую систему многозначной логики предложил польский математик
Ян Лукасевич в 1920 году. В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и
нечёткие логики.