О сложности реализации формулами одной последовательности функций $4$-значной логики

В работе приведен пример последовательности функций $4$-значной логики, сложность которых в классе формул над некоторой неполной конечной системой имеет рост “двойной экспоненты” от числа переменных. Ранее автором показано, что в двузначной логике такой эффект невозможен.
Библиогр. 6.