Discrete Duality for Rough Relation Algebras

作者:Duentsch Ivo; Orlowska Ewa*
来源:Fundamenta Informaticae, 2013, 127(1-4): 35-47.
DOI:10.3233/FI-2013-894

摘要

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.

  • 出版日期2013