Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cut elimination, identity elimination, and interpolation in super-Belnap logics
scientific article

    Statements

    Cut elimination, identity elimination, and interpolation in super-Belnap logics (English)
    0 references
    0 references
    14 December 2017
    0 references
    super-Belnap logics
    0 references
    Dunn-Belnap logic
    0 references
    logic of paradox
    0 references
    strong Kleene logic
    0 references
    exactly true logic
    0 references
    Gentzen calculus
    0 references
    cut elimination
    0 references
    identity elimination
    0 references
    interpolation
    0 references

    Identifiers

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