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

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