Przeglądaj Bulletin of the Section of Logic 45/1 (2016) według tematu "cut elimination"
Wyświetlanie pozycji 1-1 z 1
-
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen ...