ИСТИНА

Объект исследования: классы функций трехзначной логики. Цели исследования: решить проблему полноты по неявной выразимости в трехзначной логике в терминах неявно предполных классов. Используются методы дискретной математики, в частности, методы теории функциональных систем. Результаты: в трехзначной логике получен критерий неявной полноты в терминах неявно предполных классов, а также критерий слабой неявной полноты. Найден ряд ранее неизвестных неявно предполных классов. Доказана предикатная описуемость всех неявно предполных классов в трехзначной логике. Результаты могут найти применение в исследованиях по теории функциональных систем, а также теории синтеза и сложности управляющих систем.