Функциональные системы многозначной логики

Примерное содержание курса:
1. Критерии полноты в P_k: теорема Слупецкого, теорема Яблонского, теорема Саломаа.
2. Замкнутые классы, не имеющие конечных порождающих систем. Мощность множества всех замкнутых классов в P_k.
3. Теорема Кузнецова о функциональной полноте и ее обобщение: теорема о мощности семейства всех замкнутых классов, предполных в некотором классе. Контрпримеры для других операций замыкания.
4. Теорема Бурле об описании всех замкнутых классов, содержащих множество Pk(1) всех одноместных функций.
5. Шесть семейств предполных классов в P_k.
6. Предполные классы в трехзначной логике
7. Минимальные классы и минимальные клоны в P_k
8. Классы частичных функций k-значной логики