A normal form for logical derivations implying one for arithmetic derivations

DOI10.1016/0168-0072(93)90188-JzbMath0786.03040OpenAlexW2044156752MaRDI QIDQ2367413

Grigori 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)

Related Items (3)

Extended normal form theorems for logical proofs from axioms ⋮ Reduction of finite and infinite derivations ⋮ Normalization Proof for Derivations in PA after P. Cohen

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• Reduction of finite and infinite derivations
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken

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