|
Algebra and Discrete Mathematics, 2007, Issue 2, Pages 70–90
(Mi adm207)
|
|
|
|
RESEARCH ARTICLE
Characterization of clones of boolean operations by identities
Runglawan Butkote, Klaus Denecke University of Potsdam, Institute of Mathematics, 14415 Potsdam, Germany, Am Neuen Palais, 10
Abstract:
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, Galois connection.
Citation:
Runglawan Butkote, Klaus Denecke, “Characterization of clones of boolean operations by identities”, Algebra Discrete Math., 2007, no. 2, 70–90
Linking options:
https://www.mathnet.ru/eng/adm207 https://www.mathnet.ru/eng/adm/y2007/i2/p70
|
Statistics & downloads: |
Abstract page: | 320 | Full-text PDF : | 45 | First page: | 1 |
|