Об $\alpha$-суперпозиции функций $k$-значной логики

Отмечена связь между операциями $\alpha$-пополнения и замыкания систем функций $k$-значной логики. Для $k=3,4$ построены $\alpha$-базисы, состоящие из двух бинарных операций. Доказано, что полная система $T$ функций четырехзначной логики, содержащей все подстановки множества $E_4=\{0,1,2,3\}$ и операцию сложения по модулю 4, не является $\alpha$-полной, но ее $\alpha$-пополнение $[T]_\alpha$ будет уже $\alpha$-полной системой.