Критерий позитивной полноты в трехзначной логике

На множестве $P_k$ функций $k$-значной логики рассматривается оператор позитивного замыкания. Определяются некоторые позитивно полные системы функций. Доказывается, что любой позитивно замкнутый класс функций из $P_k$ позитивно порождается множеством всех функций, зависящих не более чем от $k$ переменных. При любом $k\geqslant3$ определяются три семейства позитивно предполных классов в $P_k$. Устанавливается, что при $k=3$ все 10 классов этих семейств образуют критериальную систему.
Библ. 11.