We study sequences of approximations of sets given by refining tolerance relations on the universe, and we show that such sequences can be equipped with a structure of finite centered Kleene algebra satisfying the interpolation property. We further show that every such Kleene algebra is isomorphic to the algebra of sequences of approximations of subsets of a suitable universe.

Kleene algebras as sequences of orthopairs

BOFFA, STEFANIA;GERLA, BRUNELLA
2017

Abstract

We study sequences of approximations of sets given by refining tolerance relations on the universe, and we show that such sequences can be equipped with a structure of finite centered Kleene algebra satisfying the interpolation property. We further show that every such Kleene algebra is isomorphic to the algebra of sequences of approximations of subsets of a suitable universe.
S. Boffa, B. Gerla
Advances in Fuzzy Logic and Technology 2017
9783319668291
10th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2017 and 16th International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN 2017
Warsaw, Poland
2017
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2065859
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 0
social impact