Discrete Duality for Rough Relation Algebras
Ivo Düntsch, Ewa S. Orłowska · Fundamenta Informaticae · 2013
Rough relation algebras are a generalization of relation algebras such that the underlying lattice structure is a regular double Stone algebra. Standard models are algebras of rough relations. A discrete duality is a relationship between classes of algebras and classes of relational systems (frames). In this paper we prove a discrete duality for a class of rough relation algebras and a class of frames.