Discrete Duality for Rough Relation Algebras

Abstract

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.