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.

Finite IUML-algebras, Finite Forests and Orthopairs / S. Aguzzoli, S. Boffa, D. Ciucci, B. Gerla. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 163:2(2018), pp. 139-163. [10.3233/FI-2018-1735]

Finite IUML-algebras, Finite Forests and Orthopairs

S. Aguzzoli;
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.
forests; IUML-algebras; Orthopairs
Settore MAT/01 - Logica Matematica
Settore INF/01 - Informatica
2018
Article (author)
File in questo prodotto:
File Dimensione Formato  
fi_2018_163-2_fi-163-2-fi1735_fi-163-fi1735.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 290.72 kB
Formato Adobe PDF
290.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/611824
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact