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

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

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

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

МНОГОЗНАЧНАЯ ЛОГИКА — логическая система, выражения которой принимают в интерпретации более двух истинностных значений (в случае только двух значений — «истинно» или «ложно» — имеет место классическая двузначная логика), а в общем случае — любое конечное или бесконечное множество значений. Первые такие системы — трехзначная логика высказываний и n-значная логика высказываний — построены Лукасевичем (1920) и Э. Постом (1921).