Совокупность всех итеративных алгебр (замкнутых классов функций k-значной логики) естественным образом разбивается на множество клонов (итеративных алгебр, содержащих проекции) и множество остальных алгебр, которые далее будем называть алгебрами без проекций. Ранее при изучении итеративных алгебр основное внимание уделялось клопам. Для этого есть несколько причин. Отметим некоторые из них.
展开▼