The logic of algebraic rules as a generalization of equational logic (Q1065789)

From MaRDI portal





scientific article; zbMATH DE number 3922626
Language Label Description Also known as
English
The logic of algebraic rules as a generalization of equational logic
scientific article; zbMATH DE number 3922626

    Statements

    The logic of algebraic rules as a generalization of equational logic (English)
    0 references
    0 references
    1983
    0 references
    derivability
    0 references

    Identifiers