Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics