О конечной порожденности предполных классов монотонных функций многозначной логики

Оглавление
Введение
1 Определения и вспомогательные утверждения
1.1 Основные определения и обозначения.
1.2 Свойства частично упорядоченных множеств
1.3 Доопределение частичных функций и монотонных отображений
2 Достаточные условия конечной порожденности классов всех функций, монотонных относительно множеств ширины два
2.1 Вспомогательные утверждения.
2.2 Операторы ф и ф и их свойства.
2.3 Теорема о существовании монотонного доопределения не всюду определенного отображения
2.4 Существование монотонной мажоритарной функции и достаточное условие конечной порожденности класса Мр.
3 Критерий конечной порожденности класса всех функций, монотонных относительно множества ширины два
3.1 Семейство преднолпых классов монотонных функции, не имеющих конечного базиса.
3.2 Необходимые и достаточные условия конечной подождашости класса Мр
Литература