Partial clones containing all Boolean monotone self-dual partial functions
The study of partial clones on $\mathbf{2}:=\{0,1\}$ was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among other things, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on $\ma...
Gespeichert in:
Veröffentlicht in: | Journal of multiple-valued logic and soft computing 2016-01, Vol.27 (2-3), p.183-192 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | The study of partial clones on $\mathbf{2}:=\{0,1\}$ was initiated by R. V.
Freivald. In his fundamental paper published in 1966, Freivald showed, among
other things, that the set of all monotone partial functions and the set of all
self-dual partial functions are both maximal partial clones on $\mathbf{2}$.
Several papers dealing with intersections of maximal partial clones on
$\mathbf{2}$ have appeared after Freivald work. It is known that there are
infinitely many partial clones that contain the set of all monotone self-dual
partial functions on $\mathbf{2}$, and the problem of describing them all was
posed by some authors. In this paper we show that the set of partial clones
that contain all monotone self-dual partial functions is of continuum
cardinality on $\mathbf{2}$. |
---|---|
ISSN: | 1542-3980 1542-3999 |
DOI: | 10.48550/arxiv.1508.01103 |