Some Varieties Containing Relation Algebras

DOI10.2307/1998710zbMath0515.03039OpenAlexW4236907112MaRDI QIDQ3661577

Roger D. Maddux

Publication date: 1982

Full work available at URL: https://doi.org/10.2307/1998710

zbMATH Keywords

representationrelation algebranonassociative relation algebra

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Logical aspects of Boolean algebras (03G05)

Related Items (60)

Bjarni Jónsson's contributions in algebra ⋮ A perspective on the theory of relation algebras ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ Computation of Aristotle's and Gergonne's syllogisms ⋮ On taking subalgebras of relativized relation algebras ⋮ Subcompletions of representable relation algebras ⋮ Total tense algebras and symmetric semiassociative relation algebras ⋮ Taming logic ⋮ The logic of Peirce algebras ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Relativizations of relation algebras by the diversity ⋮ Multi-dimensional semantics for modal logics ⋮ Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests ⋮ Relation algebras as expanded FL-algebras ⋮ FINITE RELATION ALGEBRAS ⋮ Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture ⋮ Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras ⋮ Edge colourings and qualitative representations of chromatic algebras ⋮ Comer schemes, relation algebras, and the flexible atom conjecture ⋮ Representable and diagonally representable weakening relation algebras ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Unary-determined distributive \(\ell \)-magmas and bunched implication algebras ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Completeness for flat modal fixpoint logics ⋮ A relation algebra which is not a cylindric reduct ⋮ Representability is not decidable for finite relation algebras ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Stone type representation theorems via games ⋮ Relation algebras can tile ⋮ One variable is not enough for defining relation algebras, but two are ⋮ Sum-free cyclic multi-bases and constructions of Ramsey algebras ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Algebraic foundations for qualitative calculi and networks ⋮ The origin of relation algebras in the development and axiomatization of the calculus of relations ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Term algebras of elementarily equivalent atom structures ⋮ Pair-Dense Relation Algebras ⋮ Free algebras in discriminator varieties ⋮ Strongly representable atom structures of relation algebras ⋮ Unnamed Item ⋮ On inducing homomorphisms between relation set algebras ⋮ Relation algebras from cylindric algebras. I ⋮ Relation algebras from cylindric algebras. II ⋮ Theories with the independence property ⋮ Weakly associative relation algebras with projections ⋮ The Neat Embedding Problem and the Number of Variables Required in Proofs ⋮ So, what exactly is a qualitative calculus? ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ Necessary subalgebras of simple nonintegral semiassociative relation algebras ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ A sequent calculus for relation algebras ⋮ Undecidability of Algebras of Binary Relations ⋮ Canonical Relativized Cylindric Set Algebras and Weak Associativity ⋮ Relation algebras as residuated Boolean algebras ⋮ The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom ⋮ Canonical Relativized Cylindric Set Algebras ⋮ Tarskian Classical Relevant Logic ⋮ Łukasiewicz-Moisil relation algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras and projective geometries
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Some sufficient conditions for the representability of relation algebras
• On representable relation algebras
• The representation of relational algebras
• Relativization of cylindric algebras
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Some Varieties Containing Relation Algebras