Том 2, номер 2, 1995 г., Стр. 49-61
УДК 519.716
С. С. Марченков
О замкнутых классах в $k$-значной логике, содержащих переключательную однородную функцию
Аннотация:
При любом $k,k\ge 2$, описываются все замкнутые классы в $k$-значной логике,
содержащие функцию $s(x,y,z)$, которая равна $z$ при $x=y$, $y$ при $x=z$ и $x$ в остальных случаях. Описание дается в виде классов сохранения конечных
множеств отношений.
Библиогр. 11.
Марченков С. С. 1
1. Институт прикладной математики им. М. В. Келдыша РАН,
Миусская площадь, 4, 125047 Москва, Россия
Статья поступила 31 января 1995 г.
|