EN|RU

Том 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 г.

 © Институт математики им. С. Л. Соболева, 2015