Term Equational Systems and Logics (Q5415637)

From MaRDI portal
scientific article; zbMATH DE number 6294837
Language Label Description Also known as
English
Term Equational Systems and Logics
scientific article; zbMATH DE number 6294837

    Statements

    Term Equational Systems and Logics (English)
    0 references
    0 references
    0 references
    13 May 2014
    0 references
    equational systems
    0 references
    algebraic theories
    0 references
    free algebras
    0 references
    equational logic
    0 references
    soundness
    0 references
    completeness
    0 references
    nominal sets
    0 references
    Schanuel topos
    0 references

    Identifiers

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