Условия $\alpha$-полноты систем функций многозначной логики

В данной статье приведены условия $\alpha$-полноты систем функций $k$г-значной логики, состоящих из функций, у которых все одноместные подфункции, полученные произвольной фиксацией всех переменных, кроме первой, являются подстановками. Для $k\ne2,3,4$ построены $\alpha$-полные системы из двух бинарных операций с правым сокращением, а для $k=2$ доказано отсутствие конечных $\alpha$-полных систем.