scientific article; zbMATH DE number 1302506

MaRDI QIDQ4249036zbMATH OpenFDO

Authors

Publication date 16 June 1999

zbMATH Keywords

cut-eliminationnormalization

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Extended Natural Deduction Images of Conversions from the System of Sequents
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Natural deduction with general elimination rules
• A connection between cut elimination and normalization

Cited in

(12)

• Commuting conversions vs. the standard conversions of the ``good connectives
• Natural deduction with general elimination rules
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Normal proofs, cut free derivations and structural rules
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Continuing Variations on a System of Gentzen
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Prawitz, Proofs, and Meaning
• Meaning in use
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• A new connective in natural deduction, and its application to quantum computing
• Proof Terms for Generalized Natural Deduction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249036)