Аннотация:
В работе исследуются свойства максимальных по включению гомоморфных прообразов $k$-значной логики, лежащих в $l$-значной логике ($l>k\geq2$). Исследовано их расположение в решетке замкнутых классов $l$-значной логики, доказано, что они обладают базисом, состоящим из одной функции. Доказана асимптотическая формула для числа максимальных классов, рассматриваемых с точностью до изоморфизма. Приведены некоторые другие результаты.