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