Cut Elimination in the Presence of Axioms (Q4254567)

From MaRDI portal
Revision as of 15:00, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 1310591
Language Label Description Also known as
English
Cut Elimination in the Presence of Axioms
scientific article; zbMATH DE number 1310591

    Statements

    Cut Elimination in the Presence of Axioms (English)
    0 references
    0 references
    0 references
    6 April 2000
    0 references
    cut-elimination
    0 references
    sequent calculus
    0 references
    non-logical inference rule
    0 references

    Identifiers