Cut as consequence

DOI10.1080/01445340.2010.522365MaRDI QIDQ3019775zbMATH OpenOpenAlexFDO

Authors 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

Gerhard Gentzennatural deductionsequent calculi

Mathematics Subject Classification ID

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

Recommendations

• Gentzen's proof systems: byproducts in a work of genius
• A Brief History of Natural Deduction
• From axiomatic logic to natural deduction
• Introduction
• Gentzen's Proof of Normalization for Natural Deduction

Cites work

• From Foundations to Ludics
• Gentzen's Proof of Normalization for Natural Deduction
• scientific article; zbMATH DE number 5920146 (Why is no real title available?)
• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3199782 (Why is no real title available?)
• Locus solum: From the rules of logic to the logic of rules.
• Tarski on truth and logical consequence
• The consistency of arithmetics
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(14)

• Don't eliminate cut
• From axiomatic logic to natural deduction
• Cutting Out Continuations
• Early structural reasoning. Gentzen 1932
• Cuts and gluts
• The context of inference
• On Gentzen's structural completeness proof
• Cut Elimination In Situ
• Introduction
• Negative predication and distinctness
• The Deduction Theorem (Before and After Herbrand)
• Investigations into the predicate calculus. Edited by Sara Negri and Jan von Plato
• On the proof-theoretic structure of counterfactual inference
• Disjunctive syllogism: the universal characterization of multiplicative ``or

This page was built for publication: Cut as consequence

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