Minimum Implicational Basis for -Semidistributive Lattices

Abstract : For a ∧-semidistributive lattice L, we study some particular implicational systems and show that the cardinality of a minimum implicational basis is polynomial in the size of join-irreducible elements of the lattice L. We also provide a polynomial time algorithm to compute a minimum implicational basis for L.
Type de document :
Article dans une revue
Information Processing Letters, Elsevier, 2006, 99 (5), pp.199-202
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00101743
Contributeur : Martine Peridier <>
Soumis le : jeudi 28 septembre 2006 - 09:54:58
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:56:00

Identifiants

  • HAL Id : lirmm-00101743, version 1

Citation

Philippe Janssen, Lhouari Nourine. Minimum Implicational Basis for -Semidistributive Lattices. Information Processing Letters, Elsevier, 2006, 99 (5), pp.199-202. 〈lirmm-00101743〉

Partager

Métriques

Consultations de la notice

501

Téléchargements de fichiers

174