On Implication Bases in n-Lattices

Alexandre Bazin (1)

1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

Implication bases in n-lattices are not formally defined. We clarify the different types of implications we need to reconstruct a concept n-lattice and show they can be derived from the same set of implications. We use this to identify a particular type of implication base in n-contexts. Finally, we provide an algorithm for computing implicational closures with n-dimensional bases.

Mots clés: Implications; Lattices

Domaines: Mathématique discrète [cs.DM]

Alexandre Bazin. On Implication Bases in n-Lattices. Discrete Applied Mathematics, 2019. ⟨hal-01567409⟩