Introduction to Relation Algebras
From MaRDI portal
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Structure theory of algebraic structures (08A05) Subalgebras, congruence relations (08A30)
Recommendations
- Advanced topics in relation algebras. Relation algebras. Volume 2
- A perspective on the theory of relation algebras
- Relation algebras and \(\mathbf{R}\)
- scientific article; zbMATH DE number 475193
- Varieties of relation algebras
- scientific article; zbMATH DE number 1086627
- Relation algebras
- scientific article; zbMATH DE number 591252
- Review: The algebraic relational theory and its applications
- Relative homological algebra. Vol. 1
Cited in
(26)- Relation algebras and groups
- Coset relation algebras
- A representation theorem for measurable relation algebras
- Expressive power and succinctness of the positive calculus of binary relations
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over \(\mathbb{Z} / p \mathbb{Z}\)
- Varieties of semiassociative relation algebras and tense algebras
- Varieties generated by completions
- Residuation in existential graphs
- Second-order properties of undirected graphs
- Nonrepresentable relation algebras from groups
- scientific article; zbMATH DE number 1086627 (Why is no real title available?)
- A representation theorem for measurable relation algebras with cyclic groups
- The variety of coset relation algebras
- Canonical Relativized Cylindric Set Algebras and Weak Associativity
- Tarskian Classical Relevant Logic
- Beth definability in the logic KR
- Expressive Power and Succinctness of the Positive Calculus of Relations
- Advanced topics in relation algebras. Relation algebras. Volume 2
- Simple relation algebras
- FINITE RELATION ALGEBRAS
- Edge colourings and qualitative representations of chromatic algebras
- Representable and diagonally representable weakening relation algebras
- Note on a translation from first-order logic into the calculus of relations preserving validity and finite validity
- Finite relational semantics for language Kleene algebra with complement
- Relation algebras
This page was built for publication: Introduction to Relation Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5364875)
