On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Davide Ciucci · Fundamenta Informaticae · 2006
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.