Finite IUML-algebras, Finite Forests and Orthopairs
Stefano Aguzzoli, Stefania Boffa, Davide Ciucci, Brunella Gerla · Fundamenta Informaticae · 2018
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