On the power of equational logic: applications and extensions