Sciweavers

FUIN
2006
120views more  FUIN 2006»
13 years 4 months ago
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, th...
Davide Ciucci