Ciucci, Davide On the axioms of residuated structures: Independence, dependencies and rough approximations. In: Fundamenta Informaticae. -- Vol. 69, No. 4 (2006), s.359-387.