On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations