Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184)

From MaRDI portal
scientific article; zbMATH DE number 6439446
Language Label Description Also known as
English
Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
scientific article; zbMATH DE number 6439446

    Statements

    Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (English)
    0 references
    22 May 2015
    0 references
    generalized elimination rules
    0 references
    normalization
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers