A cut-like inference in a framework of explicit composition for various calculi of natural deduction

DOI10.1007/978-3-319-10434-8_9MaRDI QIDQ5213631zbMATH OpenOpenAlexFDO

Authors Michael Arndt, Laura Tesconi

Publication date 4 February 2020

Published in Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10434-8_9

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• Sequent calculus in natural deduction style
• Cut rules and explicit substitutions
• Refocusing Generalised Normalisation
• Natural deduction with general elimination rules
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi

Cites work

• A cut-like inference in a framework of explicit composition for various calculi of natural deduction
• Early structural reasoning. Gentzen 1932
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3304909 (Why is no real title available?)
• Proof-theoretic harmony: towards an intensional account
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• The consistency of arithmetics
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen

Cited in

(2)

• Composition under distributive natural transformations: or, when predicate abstraction is impossible
• A cut-like inference in a framework of explicit composition for various calculi of natural deduction

This page was built for publication: A cut-like inference in a framework of explicit composition for various calculi of natural deduction

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