Abstract

In this paper I will consider the axioms for propositional logic which were presented by Hilbert in his conferences during the year 1922, and those which were presented by Hilbert and Bernays in the book Grundlagen der Mathematik, I (1934). I will describe a general procedure in order to translate Hilbert's axioms into rules on sequents and I will show that, following this procedure, Hilbert's axioms become particular cases of (derived or primitive) rules of Gentzen's Sequent Calculus and contain ideas which will be focused and developed in Gentzen's Sequent Calculus and also in more recent logical investigations.

pdf

Additional Information

ISSN
1530-9274
Print ISSN
1063-6145
Pages
pp. 115-132
Launched on MUSE
2014-03-01
Open Access
No
Back To Top

This website uses cookies to ensure you get the best experience on our website. Without cookies your experience may not be seamless.