We show that finite IUML-algebras, which are residuated lattices arising from an idempotent uninorm, can be interpreted as algebras of sequences of orthopairs whose main operation is defined starting from the three-valued Sobociński operator between rough sets. Our main tool is the representation of finite IUML-algebras by means of finite forests. 1
Aguzzoli, S., Boffa, S., Ciucci, D., Gerla, B. (2018). Finite IUML-algebras, Finite Forests and Orthopairs. FUNDAMENTA INFORMATICAE, 163(2), 139-163 [10.3233/FI-2018-1735].
Finite IUML-algebras, Finite Forests and Orthopairs
Boffa, S;Ciucci, D;
2018
Abstract
We show that finite IUML-algebras, which are residuated lattices arising from an idempotent uninorm, can be interpreted as algebras of sequences of orthopairs whose main operation is defined starting from the three-valued Sobociński operator between rough sets. Our main tool is the representation of finite IUML-algebras by means of finite forests. 1
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
