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

DOI10.1007/978-3-319-10434-8_9zbMATH Open1429.03201OpenAlexW136284187MaRDI QIDQ5213631FDOQ5213631

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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

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)