Equational Reasoning in Non-Classical Logics (Q4236057)

From MaRDI portal
scientific article; zbMATH DE number 1268510
Language Label Description Also known as
English
Equational Reasoning in Non-Classical Logics
scientific article; zbMATH DE number 1268510

    Statements

    Equational Reasoning in Non-Classical Logics (English)
    0 references
    15 July 1999
    0 references
    0 references
    0 references
    0 references
    0 references
    relation algebra
    0 references
    fork algebra
    0 references
    fork logic
    0 references
    modal logic
    0 references
    relevant logic
    0 references
    interpretability
    0 references
    0 references