Abstract

Lukasiewicz-type completeness proof of classical propositional logic is presented coupled with the axiomatic rejection for the logic. This is to the effect of much simplifying the completeness proof. On the basis of the consistency of the logic the cut-elimination theorem in the sense of Gentzen is also demonstrated of the logic making use of the axiomatic rejection.