Pages that link to "Item:Q2367413"
From MaRDI portal
The following pages link to A normal form for logical derivations implying one for arithmetic derivations (Q2367413):
Displaying 11 items.
- Normalization proof for Peano arithmetic (Q892146) (← links)
- A conservative extension of a formal arithmetic (Q1264136) (← links)
- Normal forms for derivations in Arai's \(\text{AI}_\xi^-\) (Q1277150) (← links)
- A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic (Q1375747) (← links)
- Extended normal form theorems for logical proofs from axioms (Q1575930) (← links)
- Reduction of finite and infinite derivations (Q1577482) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- General normal forms for any additive logic (Q4607851) (← links)
- Normalization Proof for Derivations in PA after P. Cohen (Q5013909) (← links)
- From arithmetic expressions to propositional formulae (Q5040699) (← links)
- Logical Approaches to Computational Barriers (Q5898803) (← links)