The Three Petals of Propositional Logic

With the category-theoretic notion of the adjunction somebody can easily define the basic propositional connectives in the preordered set of formulae and the consequence relation: For example ex falso quodlibet iff the very simple (constant) function which range is the singleton has a left adjoint. That was a half petal. Let's see the other two and a half...