On Gentzen's structural completeness proof

DOI10.1007/978-3-319-11041-7_17MaRDI QIDQ5213620zbMATH OpenOpenAlexFDO

Authors 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

cutstructural completenessthinningnormal proofconfirmingempty antecedentsempty succedentsGentzen prooflinear sequentsnormal deducibilitysuper-normal deducibilityundermining

Mathematics Subject Classification ID

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

Recommendations

• Early structural reasoning. Gentzen 1932
• Cut as consequence
• Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
• Gentzen's proof systems: byproducts in a work of genius
• Gentzen-like systems for partial propositional calculi. I. II

Cites work

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

Cited in

(4)

• Gentzen's second consistency proof and strong cut-elimination
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Early structural reasoning. Gentzen 1932
• scientific article; zbMATH DE number 3557786 (Why is no real title available?)

This page was built for publication: On Gentzen's structural completeness proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213620)