Matrix representations for structural strengthenings of a propositional logic