Distributive residuated frames and generalized bunched implication algebras (Q1686325)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Distributive residuated frames and generalized bunched implication algebras
scientific article

    Statements

    Distributive residuated frames and generalized bunched implication algebras (English)
    0 references
    0 references
    0 references
    21 December 2017
    0 references
    substructural logic
    0 references
    Gentzen system
    0 references
    residuated lattice
    0 references
    residuated frame
    0 references
    cut elimination
    0 references
    decidability
    0 references
    finite model property
    0 references
    finite embeddability property
    0 references

    Identifiers

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