|
Sibirskii Matematicheskii Zhurnal, 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.
Received: 30.09.2005
Citation:
A. L. Shabunin, “On the $\alpha$-superposition of functions of a $k$-valued logic”, Sibirsk. Mat. Zh., 48:2 (2007), 441–457; Siberian Math. J., 48:2 (2007), 354–368
Linking options:
https://www.mathnet.ru/eng/smj38 https://www.mathnet.ru/eng/smj/v48/i2/p441
|
Statistics & downloads: |
Abstract page: | 254 | Full-text PDF : | 100 | References: | 38 |
|