Relation Algebras by Games

By R. Hirsch, I. Hodkinson. 2002

277 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/6333a85f83740baed8d699113e5137170f8c76dd

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. S. Mikulás
2. H. Andréka

Citations in the corpus

• Axiomatizability of positive algebras of binary relations (2011, background): “Tarski defined the class RRA of representable relation algebras, see [HH02, Ma06] for recent monographs, a class of algebras of binary relations with the Boolean connectives join +, meet ·, negation − and the bottom 0 and top 1 elements, and the extra-Boolean connectives of relation composition ;,…”