A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction

DOI10.1007/978-3-319-10434-8_9zbMath1429.03201OpenAlexW136284187MaRDI QIDQ5213631

Laura Tesconi, Michael Arndt

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)

Related Items (1)

A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Proof-theoretic harmony: towards an intensional account
• EARLY STRUCTURAL REASONING. GENTZEN 1932
• A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction
• The consistency of arithmetics

This page was built for publication: A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction