RUS  ENG
Full version
JOURNALS // Algebra and Discrete Mathematics // Archive

Algebra Discrete Math., 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.

MSC: 03B05, 03C05, 08B05

Language: English



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024