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

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.

• Type: Journal
• Year: 2006
• Where: FUIN
• Authors: Davide Ciucci
• Keywords: FUIN 2006, Independent Axiomatization, Rough Approximation Spaces, Several Residuated Algebras