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

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