Неявные формы выразимости в многозначных логиках

Известно, что в k-значной логике P_k при k>2 множество замкнутых по суперпозиции классов континуально, что существенно усложняет изучение его структуры. Это стало одной из причин изучения более сильных видов выразимости. К таким видам, в частности, относятся т.н. неявные формы выразимости: неявная выразимость, неявная сводимость и параметрическая выразимость.
В курсе будет изложен ряд результатов, касающихся различных критериев полноты для неявных форм выразимости.