многозначная логика

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