От двузначной к $k$-значной логике

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