Bertet, Karell; Monjardet, Bernard - HAL - 2005
Closure systems on a set S arises in many areas as relational databases, data-mining, formal concept analysis, artificial intelligence, logical programming or lattice theory. Implicational systems represents an efficient and convenient tool to deal with a closure system, and have been studied in...