О функциональной системе $P_{k,\Pi}$

Рассматривается функциональная система наборов (пучков) функций $k$-значной логики. Изучаются классические вопросы, связанные с полнотой таких систем. Устанавливается алгоритмическая разрешимость задачи о полноте.