Примеры $\alpha$-полных систем $k$-значной логики при $k=3,4$

В статье доказывается $\alpha$-полнота конечных систем функций $k$-значной логики при $k=3,4$, содержащих все подстановки из симметрической группы $S_k$ подстановок множества $E_k=\{0,1,\dots,k-1\}$, операцию сложения по модулю $k$ и еще $k$ фиксированных бинарных операций. Этот результат затем распространяется на некоторые другие системы функций, получающиеся из указанных заменой операции сложения на квазигрупповую операцию.