On the mathematical synthesis of equational logics (Logical Methods in Computer Science, 2011)