Powstanie i ewolucja rachunków sekwentowych

Autor

  • Andrzej Indrzejczak Wydział Filozoficzno-Historyczny, Uniwersytet Łódzki

Słowa kluczowe:

sequent calculus, proof theory, decidability

Abstrakt

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.

Pobrania

Opublikowane

2014-12-01

Jak cytować

Indrzejczak, A. (2014). Powstanie i ewolucja rachunków sekwentowych. Filozofia Nauki, 22(4), 53–70. Pobrano z https://fn.uw.edu.pl/index.php/fn/article/view/773