 The preceding typology of negated implications and co-implications has been developed in Wansing 2008, and one might add to this list the equivalences \(\osim (A \rightarrow B) \leftrightarrow (B \rightarrow \osim A)\) and \(\osim (A \coimp B) \leftrightarrow (\osim B \coimp A)\).