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.
Type de document :
Communication dans un congrès
ISMVL 2017 - 47th IEEE International Symposium on Multiple-Valued Logic, May 2017, Novi Sad, Serbia. IEEE Computer Society, pp.6, 2017
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01504011
Contributeur : Miguel Couceiro <>
Soumis le : samedi 8 avril 2017 - 01:12:43
Dernière modification le : jeudi 5 avril 2018 - 09:56:01
Document(s) archivé(s) le : dimanche 9 juillet 2017 - 12:26:52

Fichier

KLM-01.03.2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01504011, version 1

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. IEEE Computer Society, pp.6, 2017. 〈hal-01504011〉

Partager

Métriques

Consultations de la notice

379

Téléchargements de fichiers

47