Rachunki Gentzena i tablice Betha

Zuzanna Rygiewicz

Referat będzie dotyczył sposobu dowodzenia zaproponowanego przez Gentzena, jest to system opierający się na jednym aksjomacie p -> p. Nie występuje tu rónoważność. Do pomocy przy dowodach wykorzystujemy tablice zaproponowane przez Betha.