On implicational bases of closure systems with unique critical sets. (Q741717)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On implicational bases of closure systems with unique critical sets.
scientific article

    Statements

    On implicational bases of closure systems with unique critical sets. (English)
    0 references
    0 references
    0 references
    12 September 2014
    0 references
    0 references
    closure systems
    0 references
    lattices of closed sets
    0 references
    canonical bases
    0 references
    stem bases
    0 references
    Duquenne-Guigues bases
    0 references
    unit bases
    0 references
    optimum bases
    0 references
    minimum bases
    0 references
    acyclic Horn formulas
    0 references
    DNF-representations
    0 references
    CNF-representations
    0 references
    lattices without \(D\)-cycles
    0 references
    0 references
    0 references