A normal form for logical derivations implying one for arithmetic derivations

DOI10.1016/0168-0072(93)90188-JMaRDI QIDQ2367413zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 9 August 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90188-j

zbMATH Keywords

cut eliminationnormal form theoremconstant normal conditionmain formula restrictionproper variable conditionsystems of arithmetic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Recommendations

• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
• scientific article; zbMATH DE number 1169377
• Extended normal form theorems for logical proofs from axioms
• Normal derivations and sequent derivations
• Normal forms in combinatory logic
• Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)
• General normal forms for any additive logic
• Normal deduction in the intuitionistic linear logic
• Normal derivability in modal logic
• Publication:4944873

Cites work

• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3360143 (Why is no real title available?)
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Proof theory. 2nd ed
• Reduction of finite and infinite derivations

Cited in

(12)

• scientific article; zbMATH DE number 3941504 (Why is no real title available?)
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
• Normalization Proof for Derivations in PA after P. Cohen
• A conservative extension of a formal arithmetic
• Reduction of finite and infinite derivations
• Extended normal form theorems for logical proofs from axioms
• From arithmetic expressions to propositional formulae
• General normal forms for any additive logic
• The computational content of arithmetical proofs
• scientific article; zbMATH DE number 4039891 (Why is no real title available?)
• Normalization proof for Peano arithmetic
• Logical Approaches to Computational Barriers

This page was built for publication: A normal form for logical derivations implying one for arithmetic derivations

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