Powstanie i ewolucja rachunków sekwentowych

  • Andrzej Indrzejczak Wydział Filozoficzno-Historyczny, Uniwersytet Łódzki
Słowa kluczowe: sequent calculus, proof theory, decidability


In 1934 Gentzen developed sequent calculus as a technical device for the study of natural deduction. Soon it turned out to be one of the most important tools of modern proof theory. In this survey paper we characterize the general idea of sequent calculi and some of their important features, in particular cut elimination and its consequences. We also briefly characterize some recent results, such as the generalized sequent calculi and the development of substructural logics.
Jak cytować
Indrzejczak, A. (2014). Powstanie i ewolucja rachunków sekwentowych. Filozofia Nauki, 22(4), 53-70.