Abstract
Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, the relationship among all the algebras is studied and their dependencies outlined. Finally, rough approximation spaces are introduced in residuated lattices with involution and their algebraic structure outlined.
Get full access to this article
View all access options for this article.