Discrete Duality for Rough Relation Algebras

Issue title: To Andrzej Skowron on His 70th Birthday

Article type: Research Article

Authors: Düntsch, Ivo | Orłowska, Ewa

Affiliations: Brock University, St. Catharines, Ontario, Canada, L2S 3A1, [email protected] | National Institute of Telecommunications, Szachowa 1, 04–894 Warsaw, Poland. [email protected]

Note: [] Ivo Düntsch gratefully acknowledges support by the Natural Sciences and Engineering Research Council of Canada, and by the Bulgarian National Fund of Science, contract DID02/32/2009.

Note: [] Ewa Orłowska gratefully acknowledges partial support from the National Science Centre project DEC-2011/02/A/HS1/00395 Address for correspondence: National Institute of Telecommunications, Szachowa 1, 04–894 Warsaw, Poland

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.

DOI: 10.3233/FI-2013-894

Journal: Fundamenta Informaticae, vol. 127, no. 1-4, pp. 35-47, 2013