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...
Gespeichert in:
| Datum: | 2007 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2007
|
| Schriftenreihe: | Algebra and Discrete Mathematics |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/157376 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Characterization of clones of boolean operations by identities / R. Butkote, K. Denecke // Algebra and Discrete Mathematics. — 2007. — Vol. 6, № 2. — С. 70–90. — Бібліогр.: 6 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | 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. |
|---|