The formalization of implication in propositional logic.

This thesis presents the results or an attempt to isolate and give an axiomatic basis for the pure-implication fragment or each or several logical systems. C. I. Lewis points out that exact logic may be taken as a canon or deductive inference, and that the chief business of a canon or deduction is to delineate correctly the properties of the relation of 'implication’. It seems clear, then, that criticism or any logical calculus must include consideration of just what properties are imputed to the relation of ‘implication' by that calculus