Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Kozhemiachenko D.

Years help

  1. 1 2018

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  speedup
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

A Simulation of Natural Deduction and Gentzen Sequent Calculus

100%
Kozhemiachenko D.
Logic and Logical Philosophy
|
2018
|
vol. 27
|
issue 1
67–84
EN
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. 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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.