Characterization of clones of boolean operations by identities
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 wi...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2007
|
| Назва видання: | Algebra and Discrete Mathematics |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/157376 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Characterization of clones of boolean operations by identities / R. Butkote, K. Denecke // Algebra and Discrete Mathematics. — 2007. — Vol. 6, № 2. — С. 70–90. — Бібліогр.: 6 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | 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. |
|---|