Cut as Consequence

DOI10.1080/01445340.2010.522365zbMath1298.03005OpenAlexW1989164074MaRDI QIDQ3019775

Curtis Franks

Publication date: 29 July 2011

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2010.522365

zbMATH Keywords

natural deductionsequent calculiGerhard Gentzen

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

EARLY STRUCTURAL REASONING. GENTZEN 1932 ⋮ Negative predication and distinctness ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ The Context of Inference ⋮ On Gentzen’s Structural Completeness Proof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Locus Solum: From the rules of logic to the logic of rules
• Gentzen's Proof of Normalization for Natural Deduction
• Tarski on truth and logical consequence
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• From Foundations to Ludics
• The consistency of arithmetics

This page was built for publication: Cut as Consequence