Partial clones containing all Boolean monotone self-dual partial functions

MaRDI QIDQ4583877zbMATH OpenFDO

Authors Miguel Couceiro, Lucien Haddad, Ivo G. Rosenberg

Publication date 3 September 2018

Full work available at URL https://arxiv.org/abs/1508.01103, http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-27-number-2-3-2016/mvlsc-27-2-3-p-183-192/

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Partial algebras (08A55)

Abstract: The study of partial clones on $mathbf2:=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 $mathbf2$. Several papers dealing with intersections of maximal partial clones on $mathbf2$ 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 $mathbf2$, 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 $mathbf2$.

Recommendations

• scientific article; zbMATH DE number 6028115
• Clones of partial functions on finite sets
• scientific article; zbMATH DE number 2080451
• Self-duality of bounded monotone Boolean functions and related problems
• A monoidal interval of clones of selfdual functions
• On Partial Classes Containig All Monotone and Zero‐Preserving Total Boolean Functions
• A study on monotone self-dual Boolean functions
• scientific article; zbMATH DE number 1134609
• scientific article; zbMATH DE number 2209899
• A family of clones of monotone functions from multi-valued logic that are not finitely generated

Cited in

(12)

• On closed classes in partial \(k\)-valued logic that contain the class of monotone functions
• Clones containing all almost unary functions
• A monoidal interval of clones of selfdual functions
• scientific article; zbMATH DE number 1284136 (Why is no real title available?)
• scientific article; zbMATH DE number 1134609 (Why is no real title available?)
• A solution to a problem of D. Lau: complete classification of intervals in the lattice of partial Boolean clones
• On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\)
• Intervals of Boolean partial clones
• scientific article; zbMATH DE number 6028115 (Why is no real title available?)
• scientific article; zbMATH DE number 7536558 (Why is no real title available?)
• All centralising monoids with majority witnesses on a four-element set
• Structure of clones in the precomplete class of self-dual functions in three-valued logic

This page was built for publication: Partial clones containing all Boolean monotone self-dual partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583877)