scientific article; zbMATH DE number 1302506
From MaRDI portal
Publication:4249036
zbMath0940.03063MaRDI QIDQ4249036
No author found.
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ Proof Terms for Generalized Natural Deduction ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Prawitz, Proofs, and Meaning ⋮ Meaning in Use ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
This page was built for publication:
