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

• Autores: A.L. Shabunin
• Localización: Siberian mathematical journal, ISSN 0037-4466, Vol. 48, Nº. 2, 2007, págs. 354-368
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.