On Gentzen's structural completeness proof

DOI10.1007/978-3-319-11041-7_17zbMATH Open1429.03204OpenAlexW168043144MaRDI QIDQ5213620FDOQ5213620

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)

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)