Remarks on Propositional Logics and the Categorial Relationship Between Institutions and Π-Institutions