О базисах одной функциональной системы

В работе изучается функциональная система функций счетно-значной логики со всеми свободными автоматными операциями.
Решены вопросы оценки мощности минимальных критериальных систем, определяющих свойство шефферовости функций, описания одноместных шефферовых функций, наличия и мощности множества базисов заданной конечной длины.