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

МНОГОЗНАЧНАЯ ЛОГИКА — область современной логики, охватывающая логические исчисления (исчисления высказываний и предикатов), в которых высказываниям приписывается любое конечное (большее, чем два) или бесконечное множество значений истинности. В многозначной логике исследуются также свойства этих исчислений (независимость основных функций, полнота и т. п.) и отношения между ними.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 236.