@article{Kozhemiachenko_2017, title={A Simulation of Natural Deduction and Gentzen Sequent Calculus}, volume={27}, url={https://apcz.umk.pl/LLP/article/view/LLP.2017.009}, DOI={10.12775/LLP.2017.009}, abstractNote={<p>We consider four natural deduction systems: Fitch-style systems, Gentzen-style systems (in the form of dags), general deduction Frege systems and nested deduction Frege systems, as well as dag-like Gentzen-style sequent calculi. All these calculi soundly and completely formalize classical propositional logic.</p><p>We show that general deduction Frege systems and Gentzen-style natural calculi provide at most quadratic speedup over nested deduction Frege systems and Fitch-style natural calculi and at most cubic speedup over Gentzen-style sequent calculi.</p>}, number={1}, journal={Logic and Logical Philosophy}, author={Kozhemiachenko, Daniil}, year={2017}, month={Apr.}, pages={67–84} }