Skip to Main content Skip to Navigation
Conference papers

On the nonexistence of minimal strong partial clones

Miguel Couceiro 1 Lucien Haddad 2 Karsten Schölzel 3
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : Let k be a k-element set. We show that the lattice of all strong partial clones on k has no minimal elements. Moreover, we show that if C is a strong partial clone, then the family of all partial subclones of C is of continuum cardinality. We also show that in almost all cases, every strong partial clone contains a family of continuum cardinality of strong partial subclones.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01504011
Contributor : Miguel Couceiro <>
Submitted on : Saturday, April 8, 2017 - 1:12:43 AM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM
Long-term archiving on: : Sunday, July 9, 2017 - 12:26:52 PM

File

KLM-01.03.2017.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01504011, version 1

Collections

Citation

Miguel Couceiro, Lucien Haddad, Karsten Schölzel. On the nonexistence of minimal strong partial clones. ISMVL 2017 - 47th IEEE International Symposium on Multiple-Valued Logic, May 2017, Novi Sad, Serbia. pp.6. ⟨hal-01504011⟩

Share

Metrics

Record views

498

Files downloads

205