Resumen de On the a -superposition of functions of a k -valued logic

A.L. Shabunin

• We reveal a relation between the operations of a-completion and closure for the systems of functions of a k-valued logic. For k = 3, 4 we construct the a-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 a-complete, whereas its a-completion [T a] will be an a-complete system.