Characterization of clones of boolean operations by identities
Algebra and discrete mathematics, no. 2 (2007), pp. 70-90
Cet article a éte moissonné depuis la source Math-Net.Ru
In [4] the authors characterized all clones of Boolean operations (Boolean clones) by functional terms. In this paper we consider a Galois connection between operations and equations and characterize all Boolean clones by using of identities. For each Boolean clone we obtain a set of equations with the property that an operation $f$ belongs to this clone if and only if it satisfies these equations.
Keywords:
Clone of Boolean operations, identity
Mots-clés : Galois connection.
Mots-clés : Galois connection.
@article{ADM_2007_2_a6,
author = {Runglawan Butkote and Klaus Denecke},
title = {Characterization of clones of boolean operations by identities},
journal = {Algebra and discrete mathematics},
pages = {70--90},
year = {2007},
number = {2},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ADM_2007_2_a6/}
}
Runglawan Butkote; Klaus Denecke. Characterization of clones of boolean operations by identities. Algebra and discrete mathematics, no. 2 (2007), pp. 70-90. http://geodesic.mathdoc.fr/item/ADM_2007_2_a6/