Partial clones containing all Boolean monotone self-dual partial functions

Miguel Couceiro 1 Lucien Haddad 2 Ivo G. Rosenberg 3
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : The study of partial clones on 2 := {0, 1} was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among otherthings, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on 2. Several papers dealing with intersections of maximal partial clones on 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 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 2.
Document type :
Journal articles
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01093942
Contributor : Miguel Couceiro <>
Submitted on : Thursday, August 6, 2015 - 10:25:42 AM
Last modification on : Wednesday, April 3, 2019 - 1:22:59 AM
Long-term archiving on : Wednesday, April 26, 2017 - 9:48:28 AM

File

Me-Lucien-Ivo.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01093942, version 1

Collections

Citation

Miguel Couceiro, Lucien Haddad, Ivo G. Rosenberg. Partial clones containing all Boolean monotone self-dual partial functions. Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2016, 27 (2-3), pp.183-192. ⟨hal-01093942⟩

Share

Metrics

Record views

488

Files downloads

110