Hypersequent and display calculi -- a unified perspective (Q2259013)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hypersequent and display calculi -- a unified perspective
scientific article

    Statements

    Hypersequent and display calculi -- a unified perspective (English)
    0 references
    0 references
    0 references
    0 references
    27 February 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    proof theory
    0 references
    hypersequent calculi
    0 references
    display calculi
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references