Функциональная система бесконечнозначного исчисления высказываний

Рассматривается задача описания функциональной системы бесконечнозначной логики с единичным вещественным отрезком в качестве множества истинностных значений и системой логических связок Лукасевича. Основной результат: функции, реализуемые формулами бесконечнозначной логики, – это кусочно линейные функции с целыми коэффициентами и только они. Аналогичная задача была рассмотрена Р. Мак-Нотоном. В отличие от его работы множество используемых констант расширено до отрезка $[0,1]$. Особенностью данной работы является конструктивность всех доказательств, что позволяет получить для каждой кусочно линейной функции стандартную реализацию ее формулой (каноническую форму). Библиогр. 3.