 These axioms describe classical propositional logic; without axiom P4 we get positive implicational logic.Minimal logic is achieved either by adding instead the axiom P4m, or by defining formula_20 as formula_21.Intuitionistic logic is achieved by adding axioms P4i and P5i to positive implicational logic, or by adding axiom P5i to minimal logic.