Theoretical Computer Science
Incomplete Information: Structure, Inference, Complexity
Incomplete Information: Structure, Inference, Complexity
Discrete Duality and Its Applications to Reasoning with Incomplete Information
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Discrete Duality for Relation Algebras and Cylindric Algebras
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Discrete Dualities for Double Stone Algebras
Studia Logica
Rough Relation Algebras Revisited
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |
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.