Lattice logic properly displayed (Q1685923)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lattice logic properly displayed
scientific article

    Statements

    Lattice logic properly displayed (English)
    0 references
    0 references
    0 references
    20 December 2017
    0 references
    lattice logic
    0 references
    substructural logics
    0 references
    algebraic proof theory
    0 references
    sequent calculi
    0 references
    cut elimination
    0 references
    display calculi
    0 references
    multi-type calculi
    0 references

    Identifiers

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