Varieties of relation algebras
From MaRDI portal
Publication:797616
DOI10.1007/BF02483728zbMATH Open0545.08009OpenAlexW1988376188MaRDI QIDQ797616FDOQ797616
Publication date: 1982
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02483728
Recommendations
Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Equational logic, Mal'tsev conditions (08B05) Ring-theoretic properties of Boolean algebras (06E20)
Cites Work
- On the calculus of relations
- Title not available (Why is that?)
- Some sufficient conditions for the representability of relation algebras
- Title not available (Why is that?)
- Relation algebras and projective geometries
- Representation of Modular Lattices and Of Relation Algebras
- Postulates for the calculus of binary relations
Cited In (69)
- A Completeness Result for Relation Algebra with Binders
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
- Weakening Relation Algebras and FL$$^2$$-algebras
- Relational demonic fuzzy refinement
- Relation algebra with multi-relations
- Completeness of a relational calculus for program schemes
- Varieties of semiassociative relation algebras and tense algebras
- 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
- Dynamic logic with program specifications and its relational proof system
- Relation algebras and Schröder categories
- 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
- Rational mechanics and natural mathematics
- Introduction to Relation Algebras
- On partially ordered semigroups of relations with domino operations.
- О базисах тождеств многообразий группоидов отношений
- Pair-Dense Relation Algebras
- Relation algebras: Concept of points and representability
- Erdős Graphs Resolve Fine's Canonicity Problem
- Title not available (Why is that?)
- An abstract theory of invertible 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
- Title not available (Why is that?)
- Splitting in Relation Algebras
- Cylindric algebras and finite polyadic algebras
- Identities of semigroups of relations with an operator of reflexive double cylindrification
- The lattice of varieties of representable relation algebras
- Representability of Ramsey relation algebras
- Relation algebras of intervals
- Algebraization of quantifier logics, an introductory overview
- Undecidable theories of Lyndon algebras
- Relation algebraic domain constructions
- Relation algebras and their application in temporal and spatial reasoning
- A relational division operator: The conjugate kernel
- Title not available (Why is that?)
- Matrix relation algebras
- On the complemented disk algebra
- Minimal relation algebras
- Title not available (Why is that?)
- One variable is not enough for defining relation algebras, but two are
- Power structures
- Relativized relation algebras
- Relation algebras with \(n\)-dimensional relational bases
- Peirce 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
- How many varieties of cylindric algebras are there
- Parallel constructions of maximal path sets and applications to short superstrings
- Undecidable semiassociative relation algebras
- Title not available (Why is that?)
- On identities of relation algebras with domino operations.
- Subsumption computed algebraically
- Universal classes of simple relation algebras
- On inducing homomorphisms between relation set algebras
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
- 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)
