Введение
1 Аналог критерия Слупецкого для неявной выразимости в Рк 16
1.1 Критерий неявной полноты в /г-значной логике 16
1.2 Следствия из критерия неявной полноты. Полнота по неявной сводимости и параметрической выразимости в Рк при систем, содержащих все одноместные функции . 26
2 Критерий неявной шефферовости в трёхзначной логике 30
2.1 Основные определения и известные результаты 31
2.2 Необходимые условия неявной шефферовости 34
2.2.1 Функции, сохраняющие подмножество 35
2.2.2 Функции, сохраняющие разбиение 36
2.3 Критерий неявной шефферовости 41
2.3.1 Функции, сохраняющие подмножество 41
2.3.2 Функции, сохраняющие разбиение 46
3 Критерий неявной полноты в трёхзначной логике 51
3.1 Неявно полные классы, не содержащие констант 52
3.2 Класс 61
3.3 Неявно полные классы, содержащие две константы 66
3.4 Неявно полные классы, содержащие три константы 83
3.4.1 Классы сохранения разбиений 83
3.4.2 Классы монотонных функций 88
3.4.3 Классы вида ТІ;Л 90
3.4.4 Класс Слупецкого 102
3.4.5 Основной результат 102
