On the lower part of the lattice of 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. Finally we show that every non-trivial strong partial clone contains a family of continuum cardinality of strong partial subclones.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-01826870
Contributor : Miguel Couceiro <>
Submitted on : Wednesday, October 31, 2018 - 9:00:59 AM
Last modification on : Wednesday, April 3, 2019 - 1:23:15 AM
Long-term archiving on : Friday, February 1, 2019 - 12:57:10 PM

File

KLM-Special-Issue-2017-Final.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01826870, version 4

Collections

Citation

Miguel Couceiro, Lucien Haddad, Karsten Schölzel. On the lower part of the lattice of partial clones. Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press. ⟨hal-01826870v4⟩

Share

Metrics

Record views

25

Files downloads

112