, раздел логики, в к-ром множество истинностных значений содержит более чем два элемента. Если в классич. двузначной логике предложения при интерпретации принимают только два значения — «истинно» и «ложно», то в М. л. рассматриваются и др. значения (напр., «бессмысленно», «неопределённо» и т. п.). Иногда под М. л. понимают логику, не содержащую исключённого третьего принципа и не имеющую модальных операторов. Как и двузначная логика, М. л. имеет два раздела: логику высказываний и логику предикатов. В зависимости от мощности множества истинностных значений различают конечно-многозначные логики (напр., n-значные логики Я. Лу-касевича и n-значные логики Д. А.Бочвара) и беско-нечномногозначные логики (напр., бесконечнозначная логика Лукасевича и интуиционистская логика). Семантика М. л. изучается как в виде истинностных таблиц, так и в алгебраич. форме. К алгебраич. аспектам М. л. относится изучение функциональных свойств этих логик (в частности, проблема функциональной полноты).
М. л. находит применение в теории автоматич. устройств, в исследовании проблем т. н. искусств. интеллекта, в теоретич. программировании, а также используется для формализации высказываний, истинностные значения к-рых зависят он контекста. См. также ст. Логика.
* Бочвар Д. А., Об одном трехзначном исчислении и его применении к анализу парадоксов..., «Математич. сб.», 1938, т. 4(46), № 2, с. 287—308; Яблонский С. В., Функциональные построения в k-значной логике, «Тр. математич. ин-та АН СССР», 1958, т. 51, с. 5—142; Финн В. К., Логич. проблемы информационного поиска, М., 1976; Re scher N., Manyvalued logic, N. ?.— L.— San Francisco, 1969; G-o d-dardL.,Routley E., The logic of significance and context,
v. l. N. Y., 1973; H a j ek P., Havranek T., Mechanizing hypothesis formation, В.—Hdlb.—N. ?., 1978,