Discrete Duality for Relation Algebras and Cylindric Algebras

  • Authors:

  • Ewa Orłowska;Ingrid Rewitzky

  • Affiliations:

  • National Institute of Telecommunications, Warsaw;Department of Mathematical Sciences, University of Stellenbosch, South Africa

  • Venue:
  • 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
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Following the representation theorems for relation algebras and cylindric algebras presented in [5] and [7] we develop discrete duality for relation algebras and relation frames, and for cylindric algebras and cylindric frames.