Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6875390 | Theoretical Computer Science | 2018 | 17 Pages |
Abstract
In this paper, we present a survey of lattice theory, from the algebraic definition of a lattice, to that of a concept lattice, through closure systems and implicational rules; including the exploration of fundamental bijective links between lattices, reduced contexts and bases of implicational rules; and concluding with the presentation of the main generation algorithms of these objects.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Karell Bertet, Christophe Demko, Jean-François Viaud, Clément Guérin,