Математическая энциклопедия - поста алгебра

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

Лит. см. при ст. Многозначная логика. В. Б. Кудрявцев.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985