Minimum Implicational Basis for -Semidistributive Lattices - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Journal Articles Information Processing Letters Year : 2006

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.
Fichier principal
Vignette du fichier
pja_document_article.pdf (144.21 Ko) Télécharger le fichier
Loading...

Dates and versions

lirmm-00101743 , version 1 (28-09-2006)

Identifiers

Cite

Philippe Janssen, Lhouari Nourine. Minimum Implicational Basis for -Semidistributive Lattices. Information Processing Letters, 2006, 99 (5), pp.199-202. ⟨10.1016/j.ipl.2006.04.004⟩. ⟨lirmm-00101743⟩
561 View
300 Download

Altmetric

Share

More