Some Varieties Containing Relation Algebras
From MaRDI portal
Publication:3661577
Cites work
- scientific article; zbMATH DE number 3142141 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- scientific article; zbMATH DE number 3070503 (Why is no real title available?)
- scientific article; zbMATH DE number 3093421 (Why is no real title available?)
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
- On representable relation algebras
- Relation algebras and projective geometries
- Relativization of cylindric algebras
- Some sufficient conditions for the representability of relation algebras
- The representation of relational algebras
Cited in
(60)- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
- On the complexity of the equational theory of residuated Boolean algebras
- Multi-dimensional semantics for modal logics
- A perspective on the theory of relation algebras
- Łukasiewicz-Moisil relation algebras
- Term algebras of elementarily equivalent atom structures
- The finitely axiomatizable complete theories of non-associative arrow frames
- Algebraic foundations for qualitative calculi and networks
- scientific article; zbMATH DE number 7552279 (Why is no real title available?)
- 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
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
- FINITE RELATION ALGEBRAS
- Tarskian Classical Relevant Logic
- Pair-Dense Relation Algebras
- Completeness for flat modal fixpoint logics
- Subcompletions of representable relation algebras
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
- On Tarski's axiomatic foundations of the calculus of relations
- Free algebras in discriminator varieties
- Relation algebras from cylindric algebras. I
- Relativizations of relation algebras by the diversity
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
- The logic of Peirce algebras
- Canonical Relativized Cylindric Set Algebras and Weak Associativity
- Relation algebras from cylindric algebras. II
- Representable and diagonally representable weakening relation algebras
- Total tense algebras and symmetric semiassociative relation algebras
- Necessary subalgebras of simple nonintegral semiassociative relation algebras
- A sequent calculus for relation algebras
- Comer schemes, relation algebras, and the flexible atom conjecture
- Atom structures of cylindric algebras and relation algebras
- Edge colourings and qualitative representations of chromatic 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
- Sum-free cyclic multi-bases and constructions of Ramsey algebras
- Relation algebras as expanded FL-algebras
- One variable is not enough for defining relation algebras, but two are
- A relation algebra which is not a cylindric reduct
- Stone type representation theorems via games
- 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
- 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)
