scientific article

zbMath0793.03056MaRDI QIDQ3138826

Stanley S. Wainer, Lincoln Wallen

Publication date: 11 November 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesssequent calculuslinear logicnormalizationnatural deductioncut-eliminationCurry-Howard correspondence\(\Sigma_ 1\)-inductive fragment of arithmeticintroductory lecturepure prediate logicsynthesis of primitive recursive bounding functions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Programming in metric temporal logic ⋮ Some results on cut-elimination, provable well-orderings, induction and reflection ⋮ Proofs, Reasoning and the Metamorphosis of Logic

This page was built for publication: