Simulation of Natural Deduction and Gentzen Sequent Calculus
From MaRDI portal
Publication:4683217
DOI10.12775/LLP.2017.009zbMath1456.03084MaRDI QIDQ4683217
Publication date: 20 September 2018
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
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