RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2007 Volume 48, Number 2, Pages 441–457 (Mi smj38)

On the $\alpha$-superposition of functions of a $k$-valued logic

A. L. Shabunin

Chuvash State University

Abstract: We reveal a relation between the operations of $\alpha$-completion and closure for the systems of functions of a $k$-valued logic. For $k=3,4$ we construct the $\alpha$-bases consisting of two binary operations. We prove that the complete system $T$ of functions of a 4-valued logic containing all permutations of the set $E_4=\{0,1,2,3\}$ and the operation of addition modulo 4 is not $\alpha$-complete, whereas its $\alpha$-completion $[T]_\alpha$ will be an $\alpha$-complete system.

Keywords: many-valued logic, complete systems of functions, bounded superposition.

UDC: 519.716

Received: 30.09.2005


 English version:
Siberian Mathematical Journal, 2007, 48:2, 354–368

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024