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.
|Titolo:||Kleene algebras as sequences of orthopairs|
|Data di pubblicazione:||Being printed|
|Appare nelle tipologie:||Relazione (in Volume)|