Two Categories Of Refutation Decision Procedures For Classical And Intuitionistic Propositional Logic