О глубине и сложности формул в некоторых классах $k$-значной логики

Для некоторых предполных классов $k$-значной логики показано, что для всякой конечной системы функций $\mathcal{A}$, порождающей один из этих классов, найдутся такие константы $c$ и $d$, что для любой функции $f$ из $[\mathcal{A}]$ глубина $D(f)$ и сложность $L(f)$ функции $f$ в классе формул над $\mathcal{A}$ связаны соотношением $D(f)\le c\log_2L(f)+d$.
Библиогр. 7.