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-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.