For some non-classical logics , the deduction theorem does not hold . For example , the three-axiomatized logic Ł3 of Łukasiewicz can be valued as :
For some non-classical logics , the deduction theorem does not hold . For example , the three-valued logic Ł3 of Łukasiewicz can be axiomatized as :