Some Varieties Containing Relation Algebras
From MaRDI portal
Publication:3661577
DOI10.2307/1998710zbMATH Open0515.03039OpenAlexW4236907112MaRDI QIDQ3661577FDOQ3661577
Publication date: 1982
Full work available at URL: https://doi.org/10.2307/1998710
Cites Work
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Title not available (Why is that?)
- Some sufficient conditions for the representability of relation algebras
- Relation algebras and projective geometries
- Title not available (Why is that?)
- On representable relation algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- The representation of relational algebras
- Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
- Relativization of cylindric algebras
Cited In (60)
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
- Representable and diagonally representable weakening relation algebras
- Comer schemes, relation algebras, and the flexible atom conjecture
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Multi-dimensional semantics for modal logics
- A perspective on the theory of relation algebras
- Term algebras of elementarily equivalent atom structures
- Łukasiewicz-Moisil relation algebras
- Title not available (Why is that?)
- The finitely axiomatizable complete theories of non-associative arrow frames
- Algebraic foundations for qualitative calculi and networks
- Canonical Relativized Cylindric Set Algebras
- The Neat Embedding Problem and the Number of Variables Required in Proofs
- Computation of Aristotle's and Gergonne's syllogisms
- FINITE RELATION ALGEBRAS
- Tarskian Classical Relevant Logic
- Completeness for flat modal fixpoint logics
- Pair-Dense Relation Algebras
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
- Subcompletions of representable relation algebras
- On the Complexity of the Equational Theory of Residuated Boolean Algebras
- Relation algebras from cylindric algebras. I
- Free algebras in discriminator varieties
- Canonical Relativized Cylindric Set Algebras and Weak Associativity
- Relation algebras from cylindric algebras. II
- Relativizations of relation algebras by the diversity
- The logic of Peirce algebras
- Total tense algebras and symmetric semiassociative relation algebras
- Necessary subalgebras of simple nonintegral semiassociative relation algebras
- Edge colourings and qualitative representations of chromatic algebras
- A sequent calculus for relation algebras
- Atom structures of cylindric algebras and relation algebras
- Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture
- Taming logic
- Algebraization of quantifier logics, an introductory overview
- So, what exactly is a qualitative calculus?
- Theories with the independence property
- On taking subalgebras of relativized relation algebras
- Weakly associative relation algebras with projections
- Bjarni Jónsson's contributions in algebra
- Relation algebras as expanded FL-algebras
- Sum-free cyclic multi-bases and constructions of Ramsey algebras
- One variable is not enough for defining relation algebras, but two are
- Stone type representation theorems via games
- A relation algebra which is not a cylindric reduct
- Strongly representable atom structures of relation algebras
- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\)
- On the structure of varieties with equationally definable principal congruences. III
- Relation algebras as residuated Boolean algebras
- Relation algebras can tile
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- Representability is not decidable for finite relation algebras
- Varieties of semiassociative relation algebras and tense algebras
- Undecidability of Algebras of Binary Relations
- On inducing homomorphisms between relation set algebras
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
This page was built for publication: Some Varieties Containing Relation Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3661577)
