Многозна́чная ло́гика, раздел математической логики, изучающий математические модели логики высказываний. Эти модели отражают две основные черты последней – множественность значений истинности высказываний и возможность построения новых, более сложных высказываний из заданных при помощи логических операций, которые позволяют по значениям истинности исходных высказываний устанавливать значение истинности сложных высказываний. Примерами многозначных высказываний являются суждения с модальным исходом («да», «нет», «может быть») и суждения вероятностного характера, а примерами логических операций – логические связки типа «и», «или», «если..., то». В общем случае модели многозначной логики представляют собой обобщения алгебры логики. В алгебре логики высказывания принимают только два значения истинности («да», «нет»), в связи с чем она в общем случае не может отразить всего многообразия логических построений, встречающихся на практике. При достаточно широком толковании многозначной логики в неё иногда включают также логические исчисления.

Исторически первыми моделями многозначной логики явились двузначная логика Дж. Буля (называемая также алгеброй логики), трёхзначная логика Я. Лукасевича (1920) и $m$-значная логика Э. Поста (1921). Изучение этих моделей составило важный этап в создании теории многозначной логики. Определённая специфика многозначной логики состоит в рассмотрении задач и подходов, возникающих при исследовании многозначной логики с позиций математической логики, теоретической кибернетики и алгебры. Так, с позиций теоретической кибернетики модели многозначной логики рассматриваются как языки, описывающие функционирование сложных управляющих систем, компоненты которых могут находиться в некотором числе различных состояний; с точки зрения алгебры модели многозначной логики представляют собой алгебраические системы, имеющие, наряду с прикладным, и чисто теоретический интерес.

Построение моделей многозначной логики осуществляется по аналогии с построением двузначной логики. Так, индивидуальные высказывания логики, разбитые на классы с одним и тем же значением истинности, приводят к понятию множества констант модели $E$, которые фактически отождествляют все индивидуальные высказывания, заменяя их соответствующими значениями истинности; переменные высказывания – к переменным величинам $x_1, x_2,...,$ которые в качестве значений принимают элементы из множества $E$; логические связки – к множеству $M$ элементарных функций (операций), которые, как и их аргументы, принимают значения из $E$. Сложные высказывания, построенные из индивидуальных и переменных высказываний, а также логических связок, приводят к множеству $\langle M \rangle$ формул над $M$. Значение истинности (из $E$) сложного высказывания является функцией от соответствующих значений истинности высказываний, входящих в данное сложное высказывание. В модели эта функция приписывается формуле, соответствующей данному сложному высказыванию; говорят также, что формула реализует эту функцию. Множество формул $\langle M \rangle$ приводит к множеству $[M]$ функций, реализуемых формулами из $\langle M \rangle$ и называемых суперпозициями над $M$. Множество $[M]$ называется замыканием множества $M.$ Задание конкретной модели многозначной логики считается эквивалентным указанию множеств $E, M, \langle M \rangle$ и $[M]$; при этом говорят, что модель порождается множеством $M$. Эта модель называется формульной моделью, а также $m$-значной логикой, где $m$ – мощность множества $E$.

Своеобразие подхода математической кибернетики к многозначной логике состоит в рассмотрении моделей многозначной логики как управляющих систем. Элементарные функции при этом являются элементами, производящими определённые операции, а формулы интерпретируются как схемы, построенные из элементов и также осуществляющие переработку входной информации в выходную. Такого рода управляющие системы, известные в кибернетике как схемы из функциональных элементов, широко используются в теоретических и практических вопросах кибернетики. Вместе с тем существует ряд задач логики и кибернетики, которые связаны с изучением соответствий между множествами $M$ и $[M]$ и при которых роль множества $\langle M \rangle$ несколько затушёвывается, сводясь к способу определения второго множества по первому. В этом случае приходят к другой модели многозначной логики, которая представляет собой алгебру, элементами которой являются функции, принимающие в качестве значений, как и их аргументы, элементы из $E$. В качестве операций в этих алгебрах обычно используется специальный набор операций, эквивалентный в смысле соответствий $M$ и $[M]$ множеству формул, построенных из функций множества $M$, т. е. получению сложных функций из заданных путём подстановки одних функций вместо аргументов других.

К числу задач, характерных для формульной модели многозначной логики, относится задача об описании, т. е. вопрос об указании для заданного множества $M_2⊆[M_1]$ всех формул из $\langle M_1 \rangle$, реализующих функции из $M_2$. Частным случаем такой задачи является важный вопрос математической логики об указании всех формул, реализующих заданную константу, что, например, для исчисления высказываний эквивалентно построению всех тождественно истинных высказываний. Пограничным вопросом между математической логикой и алгеброй, примыкающим к задаче об описании, является задача о тождественных преобразованиях. В ней при заданном множестве $M$ требуется выделить в некотором смысле простейшее подмножество пар равных (т. е. реализующих одну и ту же функцию) формул из $\langle M \rangle$, позволяющее путём подстановки выделенных равных формул одной вместо другой получить из любой формулы все формулы, равные ей. Аналогичное место занимает один из важнейших вопросов для многозначной логики – т. н. проблема полноты, состоящая в указании всех таких подмножеств $M_1$ заданного замкнутого, т. е. совпадающего со своим замыканием, множества $M$, для которых выполнено равенство $[M_1]=M$, т. е. имеет место свойство полноты $M_1$ в $M$. Глобальной задачей для многозначной логики является описание структуры замкнутых классов данной модели многозначной логики.

Характерный для теории управляющих систем вопрос о сложности этих систем естественно возникает и по отношению к формулам и функциям из многозначной логики. Типичной при таком подходе является следующая задача о сложности реализации. На множестве всех элементарных формул некоторым способом вводится числовая мера (сложность формул), которая затем распространяется на множество всех формул, например путём суммирования мер всех тех элементарных формул, которые участвуют в построении заданной формулы. Для заданной функции требуется указать ту (простейшую) формулу, которая реализует эту функцию и имеет наименьшую сложность, а также выяснить, как эта сложность зависит от некоторых свойств рассматриваемой функции. Исследуются различные обобщения этой задачи. Широкий круг вопросов связан с реализацией функций формулами с наперёд заданными свойствами. Сюда относятся: задача о реализации функций алгебры логики дизъюнктивными нормальными формами и связанная с этим задача о минимизации, а также задача о реализации функций формулами в некотором смысле ограниченной глубины (т. е. такими формулами, в которых цепочка подставляемых друг в друга формул имеет ограниченную длину, такое ограничение связано с надёжностью и скоростью вычислений).

Для заданной модели многозначной логики решения всех перечисленных задач существенно зависят от мощности множества $E$ и множества $M$, порождающего эту модель.

К числу наиболее важных примеров многозначных логик относятся конечнозначные логики (т. е. $m$-значные логики, для которых $m$ конечно). Среди них наиболее глубоко исследован случай $m=2$. Важнейшим результатом здесь является полное описание структуры замкнутых классов и получение для них важной информации по задаче о сложности реализации. Установлено, что при $m>2$ конечнозначные логики обладают рядом особенностей, существенно отличающих их от двузначного случая. Таковы, например, континуальность множества замкнутых классов (при $m=2$ их счётное число), особенности решения задачи о сложности реализации и ряд других. Общим результатом для конечнозначных логик является эффективное решение задачи о полноте для замкнутых классов, содержащих все функции со значениями в $E$. Решение остальных проблем для конечнозначных логик продвинуто в различной степени. Особая значимость конечнозначных логик связана ещё и с тем, что они позволяют описывать работу различных реальных вычислительных устройств и автоматов.

Примерами другой многозначной логики являются счётнозначные и континуум-значные логики (т. е. такие $m$-значные логики, для которых мощность $m$ является соответственно счётной или континуальной). Эти модели играют важную роль в математической логике, теории моделей и в математическом анализе. К многозначным логикам иногда относят и такие алгебры функций, в которых запас операций несколько отличается от указанного. Как правило, это достигается путём сужения описанного запаса или введения в операции некоторых функций рассматриваемой многозначной логики.