Finite hull systems and their implication bases.

zbMath1033.06003MaRDI QIDQ1423015

Roman König

Publication date: 12 February 2004

Published in: Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/123333

zbMATH Keywords

closure operatorcongruence latticeformal concept analysisconcept latticecontextcanonical antichainimplication set

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Lattices (06B99)

This page was built for publication: Finite hull systems and their implication bases.