JEDNOSTKA NAUKOWA KATEGORII A+

Strong normalization proofs for cut elimination in Gentzen's sequent calculi

Tom 46 / 1999

Elias Bittar Banach Center Publications 46 (1999), 179-225 DOI: 10.4064/-46-1-179-225

Streszczenie

We define an equivalent variant $LK_{sp}$ of the Gentzen sequent calculus $LK$. In $LK_{sp}$ weakenings or contractions can be performed in parallel. This modification allows us to interpret a symmetrical system of mix elimination rules $

Autorzy

  • Elias Bittar

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek