On Gentzen’s Structural Completeness Proof

DOI10.1007/978-3-319-11041-7_17zbMath1429.03204OpenAlexW168043144MaRDI QIDQ5213620

Neil Tennant

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_17

zbMATH Keywords

thinningcutstructural completenessnormal proofconfirmingempty antecedentsempty succedentsGentzen prooflinear sequentsnormal deducibilitysuper-normal deducibilityundermining

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)

Cites Work

• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Cut as Consequence

This page was built for publication: On Gentzen’s Structural Completeness Proof