Residuated Structures in Algebra and Logic