Flat algebras and the translation of universal Horn logic to equational logic (Q5387303)

From MaRDI portal
scientific article; zbMATH DE number 5273197
Language Label Description Also known as
English
Flat algebras and the translation of universal Horn logic to equational logic
scientific article; zbMATH DE number 5273197

    Statements

    Flat algebras and the translation of universal Horn logic to equational logic (English)
    0 references
    0 references
    8 May 2008
    0 references
    quasivariety
    0 references
    universal Horn class
    0 references
    flat algebra
    0 references
    flat semilattice
    0 references
    membership problem
    0 references
    undecidability
    0 references
    finite basis problem
    0 references
    flat extension of a group
    0 references
    inverse semigroup
    0 references
    Clifford semigroup
    0 references
    Brandt semigroup
    0 references
    Q-universal
    0 references
    agreeable semigroup
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references