A normal form for logical derivations implying one for arithmetic derivations

DOI10.1016/0168-0072(93)90188-JzbMATH Open0786.03040OpenAlexW2044156752MaRDI QIDQ2367413FDOQ2367413

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory. 2nd ed
• 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
• Reduction of finite and infinite derivations
• Title not available (Why is that?)

Cited In (12)

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

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)