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.
Ciucci, D. (2006). On the axioms of residuated structures: Independence, dependencies and rough approximations. FUNDAMENTA INFORMATICAE, 69(4), 359-387.
On the axioms of residuated structures: Independence, dependencies and rough approximations
CIUCCI, DAVIDE ELIO
2006
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
fi69.pdf
accesso aperto
Dimensione
220.64 kB
Formato
Adobe PDF
|
220.64 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
