Extended normal form theorems for logical proofs from axioms

DOI10.1016/S0304-3975(99)00172-3zbMath0971.03059OpenAlexW2028575408WikidataQ114655902 ScholiaQ114655902MaRDI QIDQ1575930

Toshiyasu Arai, Grigori Mints

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00172-3

zbMATH Keywords

normal form theoremreflection scheme\(\omega\)-consistency

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Proof theory. 2nd ed
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
• A normal form for logical derivations implying one for arithmetic derivations
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

This page was built for publication: Extended normal form theorems for logical proofs from axioms