Varieties of relation algebras
From MaRDI portal
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
(70)- Relation algebras of Sugihara, Belnap, Meyer, and Church
- VARIETIES OF EQUALITY STRUCTURES
- On varieties of cylindric algebras with applications to logic
- A perspective on the theory of relation algebras
- Varieties generated by completions
- Relational demonic fuzzy refinement
- Relation algebras and Schröder categories
- Weakening Relation Algebras and FL$$^2$$-algebras
- Dynamic logic with program specifications and its relational proof system
- Axiomatization of identity-free equations valid in relation algebras
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Representations for small relation algebras
- Hyperidentities and related concepts. II
- On partially ordered semigroups of relations with domino operations.
- Pair-Dense Relation Algebras
- Rational mechanics and natural mathematics
- Introduction to Relation Algebras
- Relation algebras: Concept of points and representability
- An abstract theory of invertible relations
- Erdős Graphs Resolve Fine's Canonicity Problem
- scientific article; zbMATH DE number 1303457 (Why is no real title available?)
- On Tarski's axiomatic foundations of the calculus of relations
- Relation-algebraic semantics
- Free algebras in discriminator varieties
- Relativizations of relation algebras by the diversity
- The logic of Peirce algebras
- Graph algebras and graph varieties
- On fork arrow logic and its expressive power
- A relation-algebraic approach to the region connection calculus
- scientific article; zbMATH DE number 3981240 (Why is no real title available?)
- Cylindric algebras and finite polyadic algebras
- Splitting in Relation Algebras
- Relation algebra with multi-relations
- Identities of semigroups of relations with an operator of reflexive double cylindrification
- Representability of Ramsey relation algebras
- The lattice of varieties of representable relation algebras
- A completeness result for relation algebra with binders
- Relation algebras of intervals
- Algebraization of quantifier logics, an introductory overview
- Splitting atoms in relational algebras
- Relation algebraic domain constructions
- Relation algebras and their application in temporal and spatial reasoning
- Undecidable theories of Lyndon algebras
- A relational division operator: The conjugate kernel
- Matrix relation algebras
- scientific article; zbMATH DE number 5010245 (Why is no real title available?)
- On the complemented disk algebra
- Minimal relation algebras
- One variable is not enough for defining relation algebras, but two are
- On bases of identities for varieties of groupoids of relations
- scientific article; zbMATH DE number 67023 (Why is no real title available?)
- Power structures
- Peirce algebras
- Relation algebras with \(n\)-dimensional relational bases
- Relativized relation algebras
- On varieties of groupoids of relations with operation of binary cylindrification.
- The structure of generalized BI-algebras and weakening relation algebras
- A microcomputer based system for small relation algebras
- Completeness of a relational calculus for program schemes
- Parallel constructions of maximal path sets and applications to short superstrings
- How many varieties of cylindric algebras are there
- Undecidable semiassociative relation algebras
- Nonrepresentable relation algebras from groups
- On identities of relation algebras with domino operations.
- Subsumption computed algebraically
- Varieties of semiassociative relation algebras and tense algebras
- Universal classes of simple relation algebras
- On inducing homomorphisms between relation set algebras
- Tribute to Bjarni Jónsson
- Semantic distance between specifications
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)
