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