On some properties of several proof systems for 2-valued and 3-valued propositional logic