RUS  ENG
Полная версия
ЖУРНАЛЫ // Algebra and Discrete Mathematics // Архив

Algebra Discrete Math., 2007, выпуск 2, страницы 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

Аннотация: 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.

Ключевые слова: Clone of Boolean operations, identity, Galois connection.

MSC: 03B05, 03C05, 08B05

Язык публикации: английский



Реферативные базы данных:


© МИАН, 2024