Том 3, номер 3, 1996 г., Стр. 47-70
УДК 519.716
С. С. Марченков
G-Предполные классы многозначной логики
Аннотация:
Для группы G подстановок на множестве EkG-замыканием называется замыкание
относительно операций суперпозиции и взятия двойственных функций
относительно подстановок из G. Доказывается, что при некоторых ограничениях
на степень транзитивности группы G для любого k,k⩾, в P_k имеется
ровно два G-предполных класса: класс Слупецкого и класс идемпотентных
функций. При k=4 к этим двум классам добавляются еще два: класс квазилинейных
функций и класс функций, самодвойственных относительно подстановок
из четверной группы Клейна.
Табл. 2, библиогр. 30.
Марченков С. С. 1
1. Институт прикладной математики им. М. В. Келдыша РАН,
Миусская площадь, 4, 125047 Москва, Россия
Статья поступила 29 апреля 1995 г.
|