Some propositional taulogies have names, for example, Modus Ponens, Modus Tollens, Contrapositon, ...
Is there a catalog of all named propositional taulogies?
In particular, does the following tautology has a name:
$(p \to q) \equiv (p \& q \equiv p)$ ?