Поста Алгебра

Алгебра вида (РW), где Рявляется множеством функций, a W — множеством операций, равносильных операциям композиции с различного рода ограничениями. Примерами П. а. являются конечнозначные и счетнозначные логики, логики неоднородных функций и т. п. Проблематика П. а. по существу совпадает с проблематикой для многозначных логик. Лит. см. при ст. Многозначная логика. В. Б. Кудрявцев.