О ранге неявных представлений над одним классом функций трехзначной логики

Показано, что среди неявно полных систем функций трехзначной логики $P_3$ существует система $W$, для которой ранговая функция $m_W(n)$, выражающая наименьшее число уравнений, достаточное для неявного задания любой функции от $ n $ переменных из $P_3$, имеет экспоненциальный порядок роста:
$$ 2^{(n+1)/2}-\frac{1}{2}\leq m_W (n)\le2\cdot 3^{n} $$
при всех $n$.
Табл. 1. Библиогр. 4.