We are unable to display your institutional affiliation without JavaScript turned on.
Browse Book and Journal Content on Project MUSE

Find using OpenURL

On Hilbert's Axiomatics of Propositional Logic


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.

You must be logged in through an institution that subscribes to this journal or book to access the full text.


Shibboleth authentication is only available to registered institutions.

Project MUSE

For subscribing associations only.