The representation of relation algebras. II

Cited In (45)

The origin of relation algebras in the development and axiomatization of the calculus of relations
Relation algebras of Sugihara, Belnap, Meyer, and Church
Boolean modules
Complete representations in algebraic logic
A perspective on the theory of relation algebras
On the variety generated by generalized subreducts of Tarski's algebras of relations
Complexity of equations valid in algebras of relations. I: Strong non-finitizability
Representations for small relation algebras
Algebraic Logic, Where Does it Stand Today?
Tractable approximations for temporal constraint handling
Step by step – Building representations in algebraic logic
Pair-Dense Relation Algebras
Relation algebras: Concept of points and representability
Subcompletions of representable relation algebras
Programs as partial graphs. I: Flow equivalence and correctness
On Tarski's axiomatic foundations of the calculus of relations
Relation algebras from cylindric algebras. I
Ehresmann theory and partition monoids
Multigroups
On graph reasoning
Unifying threads in Alfred Tarski's work
Finite, integral, and finite-dimensional relation algebras: A brief history
On algebras of binary relations with conjunctive operations
Axiomatizing the logical core of XPath 2.0
On algebras of relations with operations of left and right reflexive product
Relation algebras of intervals
Algebraization of quantifier logics, an introductory overview
Reasoning with graphs
On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
Identities of groupoids of relations with operation of cylindered intersection
Bjarni Jónsson's contributions in algebra
Multigroups
On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
The contributions of Alfred Tarski to algebraic logic
Relation algebras and function semigroups
Strongly representable atom structures of relation algebras
On semigroups of relations with the operation of left and right rectangular products
On groupoids of relations with one conjunctive operation of rank 2
Representability is not decidable for finite relation algebras
Undecidability of representability as binary relations
Varieties of semiassociative relation algebras and tense algebras
Interpretability of first-order linear temporal logics in fork algebras
Canonical varieties with no canonical axiomatisation
The contributions of Alfred Tarski to general algebra

This page was built for publication: The representation of relation algebras. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q767129)