A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones
Couceiro, Miguel; Haddad, Lucien; Schölzel, Karsten; Waldhauser, Tamás (2017), A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones, Journal of Multiple-Valued Logic and Soft Computing, 28, 1, p. 47-58
Type
Article accepté pour publication ou publiéLien vers un document non conservé dans cette base
https://hal.inria.fr/hal-01183004Date
2017Nom de la revue
Journal of Multiple-Valued Logic and Soft ComputingVolume
28Numéro
1Éditeur
OCP Science
Pages
47-58
Métadonnées
Afficher la notice complèteAuteur(s)
Couceiro, MiguelLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Haddad, Lucien
Royal Military College of Canada [RMCC]
Schölzel, Karsten
Mathematics Research Unit
Waldhauser, Tamás
Bolyai Institute [Szeged]
Résumé (EN)
The following natural problem, first considered by D. Lau, has been tackled by several authors recently: Let C be a total clone on 2 := {0, 1}. Describe the interval I(C) of all partial clones on 2 whose total component is C. We establish some results in this direction and combine them with previous ones to show the following dichotomy result: For every total clone C on 2, the set I(C) is either finite or of continuum cardinality.Mots-clés
Partial boolean clonesPublications associées
Affichage des éléments liés par titre et auteur.
-
Couceiro, Miguel; Haddad, Lucien; Schölzel, Karsten; Waldhauser, Tamás (2013) Communication / Conférence
-
Couceiro, Miguel; Haddad, Lucien; Scholzel, Karsten; Waldhauser, Tamás (2014) Communication / Conférence
-
Couceiro, Miguel; Lehtonen, Erkko; Schölzel, Karsten (2015) Article accepté pour publication ou publié
-
Haddad, Lucien; Couceiro, Miguel (2012) Communication / Conférence
-
Hierarchies of local monotonicities and lattice derivatives for Boolean and pseudo-Boolean functions Waldhauser, Tamás; Marichal, Jean-Luc; Couceiro, Miguel (2012) Communication / Conférence