EARLY STRUCTURAL REASONING. GENTZEN 1932

DOI10.1017/S1755020315000222zbMath1371.03006MaRDI QIDQ3459084

Enrico Moriconi

Publication date: 30 December 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

thinningcutinference rulesGentzensequents

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)

Related Items (2)

Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic ⋮ A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction

Cites Work

• Gentzen's Proof Systems: Byproducts in a Work of Genius
• Cut as Consequence
• The consistency of arithmetics

This page was built for publication: EARLY STRUCTURAL REASONING. GENTZEN 1932