Using the duality between clones of operations over finite boolean algebras and clones of dual operations over finite sets, in this paper we show that the lattice of clones of operations over a finite boolean algebra is complemented, and we characterize the automorphisms and congruences of the iterative algebra of operations over a finite boolean algebra.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados