Abstract
Contents
A. Preliminary Definitions and Notation
B. Informal Discussion
C. Classical Form of the Rules
D. The Systems LA (G) and LC (G)
E. Some Preliminary Theorems
F. The Technique of Elementary Derivations. Decidability
G. The Elimination Theorem
I. The Natural System T
J. Equivalent Propositional Algebras. Systems HA and HC
K. Concluding Remarks
Information
Published: 1 January 1950
First available in Project Euclid: 29 March 2007
Rights: Copyright © 1950, University of Notre Dame
