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