Varieties of relation algebras
From MaRDI portal
Relation algebras have been introduced by A. Tarski to mimic the calculus of binary relations on a set. They have proved to be very interesting algebras for many reasons, e.g. set-theory can be interpreted within relation algebras. Moreover relational algebras have quite exceptional structural properties, which are the main theme of this paper. This paper gives an excellent overview on varieties of relation algebras and then works out equational bases for many interesting varieties of relation algebras. An important tool are splitting relation algebras and their splitting equations.
Recommendations
Cites work
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- scientific article; zbMATH DE number 3070503 (Why is no real title available?)
- On the calculus of relations
- Postulates for the calculus of binary relations
- Relation algebras and projective geometries
- Representation of Modular Lattices and Of Relation Algebras
- Some sufficient conditions for the representability of relation algebras
Cited in
(72)- Relation algebras: Concept of points and representability
- Matrix relation algebras
- On varieties of cylindric algebras with applications to logic
- Relation algebras and Schröder categories
- An abstract theory of invertible relations
- One variable is not enough for defining relation algebras, but two are
- Relation algebraic domain constructions
- Algebraization of quantifier logics, an introductory overview
- Subsumption computed algebraically
- A perspective on the theory of relation algebras
- Peirce algebras
- Minimal relation algebras
- A microcomputer based system for small relation algebras
- Relation-algebraic semantics
- Parallel constructions of maximal path sets and applications to short superstrings
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Semantic distance between specifications
- Relation algebras and their application in temporal and spatial reasoning
- Power structures
- Representations for small relation algebras
- The logic of Peirce algebras
- Axiomatization of identity-free equations valid in relation algebras
- Relativizations of relation algebras by the diversity
- Relation algebras with \(n\)-dimensional relational bases
- Tribute to Bjarni Jónsson
- Cylindric algebras and finite polyadic algebras
- Relation algebras of intervals
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- On varieties of groupoids of relations with operation of binary cylindrification.
- On inducing homomorphisms between relation set algebras
- Graph algebras and graph varieties
- Varieties of semiassociative relation algebras and tense algebras
- Varieties generated by completions
- Relational demonic fuzzy refinement
- On identities of relation algebras with domino operations.
- A relational division operator: The conjugate kernel
- On fork arrow logic and its expressive power
- Undecidable theories of Lyndon algebras
- On partially ordered semigroups of relations with domino operations.
- Splitting atoms in relational algebras
- VARIETIES OF EQUALITY STRUCTURES
- scientific article; zbMATH DE number 5010245 (Why is no real title available?)
- Nonrepresentable relation algebras from groups
- scientific article; zbMATH DE number 3981240 (Why is no real title available?)
- Pair-Dense Relation Algebras
- scientific article; zbMATH DE number 67023 (Why is no real title available?)
- scientific article; zbMATH DE number 1303457 (Why is no real title available?)
- Relation algebra with multi-relations
- Universal classes of simple relation algebras
- Dynamic logic with program specifications and its relational proof system
- Undecidable semiassociative relation algebras
- The lattice of varieties of representable relation algebras
- scientific article; zbMATH DE number 1086627 (Why is no real title available?)
- Hyperidentities and related concepts. II
- Identities of semigroups of relations with an operator of reflexive double cylindrification
- Erdős Graphs Resolve Fine's Canonicity Problem
- A completeness result for relation algebra with binders
- Weakening Relation Algebras and FL^2-algebras
- On bases of identities for varieties of groupoids of relations
- On Tarski's axiomatic foundations of the calculus of relations
- Introduction to Relation Algebras
- How many varieties of cylindric algebras are there
- Splitting in Relation Algebras
- Free algebras in discriminator varieties
- Relativized relation algebras
- Completeness of a relational calculus for program schemes
- A relation-algebraic approach to the region connection calculus
- Rational mechanics and natural mathematics
- Contractions of quasi relation algebras and applications to representability
- Representability of Ramsey relation algebras
- The structure of generalized BI-algebras and weakening relation algebras
- On the complemented disk algebra
This page was built for publication: Varieties of relation algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q797616)
