Simulation of Natural Deduction and Gentzen Sequent Calculus

DOI10.12775/LLP.2017.009zbMath1456.03084MaRDI QIDQ4683217

Daniil Kozhemiachenko

Publication date: 20 September 2018

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

simulationnatural deductionproof systemspeedupGentzen-style calculi

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the number of steps in proofs
• The complexity of Gentzen systems for propositional logic
• Handbook of proof theory
• The relative complexity of resolution and cut-free Gentzen systems
• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• A Brief History of Natural Deduction
• The deduction rule and linear and near-linear proof simulations
• The relative efficiency of propositional proof systems
• The Complexity of Propositional Proofs

This page was built for publication: Simulation of Natural Deduction and Gentzen Sequent Calculus