Cut‐Elimination Theorem for the Logic of Constant Domains (Q4304102)

From MaRDI portal
scientific article; zbMATH DE number 635964
Language Label Description Also known as
English
Cut‐Elimination Theorem for the Logic of Constant Domains
scientific article; zbMATH DE number 635964

    Statements

    Cut‐Elimination Theorem for the Logic of Constant Domains (English)
    0 references
    0 references
    0 references
    28 September 1995
    0 references
    cut-elimination
    0 references
    Gentzen-type system
    0 references
    logic of constant domains
    0 references
    intuitionistic Kripke models
    0 references

    Identifiers