Введение
Глава 1. Оператор FE-замыкания в счетнозначной логике 19
1.1 Основные понятия и терминология 20
1.2 Операторы FE-замыкания и HG-замыкания 22
1.3 Принцип сопряженности для оператора FE-замыкания 26
1.4 FE-замыкание множеств типа {0, х + 1} 31
1.5 FE-замыкание множеств, содержащих характеристические функции 34
1.6 Язык FE-замыкания с логическими связками 38
Глава 2. Оценки числа FE-замкнутых и FE-предполных классов 44
2.1 FE-замкнутые классы 44
2.2 FE-предполные классы 48
Глава 3. Сложность проблемы выполнимости систем функцио нальных уравнений 54
3.1 Неразрешимость проблемы выполнимости 55
3.2 Проблема выполнимости и класс Пі 59
3.3 Все решения системы функциональных уравнений 67
Заключение 69
Список литературы
