СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Шабунин А. Л. Об $\alpha $-суперпозиции функций $k$-значной логики // Том 48 (2007), Номер 2, стр. 441–457
Отмечена связь между операциями
$\alpha$-пополнения и
замыкания систем функций $k$-значной логики.
Для $k=3,4$
построены $\alpha$-базисы, состоящие из двух бинарных операций.
Доказано, что полная система $T$ функций четырехзначной логики,
содержащей все подстановки множества $E_4=\{0,1,2,3\}$ и
операцию сложения по модулю 4,
не является $\alpha$-полной,
но ее $\alpha$-пополнение $[T]_\alpha$
будет уже $\alpha$-полной системой.
© Сибирский Математический Журнал, 2003-2006