Критерий полноты относительно оператора замыкания по перечислению в трехзначной логике

На множестве $P_k$ функций $k$-значной логики рассматривается оператор замыкания по перечислению (П-оператор). Доказано, что при любом $k\geqslant 2$ любой позитивно предполный класс в $P_k$ является также П-предполным. Установлено, что в трехзначной логике других П-предполных классов не существует.