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
(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)
