Gentzen's Formalization of the Propositional and Predicate Calculus.
My purpose in this thesis is to show the merits of the approach of G. Gentzen to the accepted predicate and propositional calculus of logicians today. It will be proved that his formalization is equivalent to the so-called classical approach. The advantages of his system are that his formalization i...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | en |
Published: |
McGill University
1954
|
Subjects: | |
Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=109784 |