On representable relation algebras
From MaRDI portal
Publication:2521342
DOI10.1307/mmj/1028999131zbMath0137.00603OpenAlexW2033274602MaRDI QIDQ2521342
Publication date: 1964
Published in: Michigan Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1307/mmj/1028999131
Related Items (71)
A perspective on the theory of relation algebras ⋮ Taming Multirelations ⋮ Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras ⋮ Weak representations of relation algebras and relational bases ⋮ Unnamed Item ⋮ Reducts of relation algebras: the aspects of axiomatisability and finite representability ⋮ Relation algebras and groups ⋮ Subcompletions of representable relation algebras ⋮ Dynamic logic with program specifications and its relational proof system ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ Relation algebras of intervals ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ The lattice of varieties of representable relation algebras ⋮ The calculus of relations as a foundation for mathematics ⋮ Relational dual tableau decision procedures and their applications to modal and intuitionistic logics ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ Seurat games on Stockmeyer graphs ⋮ On the equational complexity of RRA ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ Relation algebras of every dimension ⋮ Non-finite-axiomatizability results in algebraic logic ⋮ The contributions of Alfred Tarski to general algebra ⋮ Some Varieties Containing Relation Algebras ⋮ Edge colourings and qualitative representations of chromatic algebras ⋮ Representable and diagonally representable weakening relation algebras ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Boolean modules ⋮ The algebra of functions with antidomain and range ⋮ The class of representable semilattice-ordered monoids is not a variety ⋮ Step by step – Building representations in algebraic logic ⋮ On algebras of relations with operations of left and right reflexive product ⋮ Representability is not decidable for finite relation algebras ⋮ Axiomatizability of positive algebras of binary relations ⋮ Undecidability of representability as binary relations ⋮ Undecidable theories of Lyndon algebras ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ The origin of relation algebras in the development and axiomatization of the calculus of relations ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Dynamic algebras: Examples, constructions, applications ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ Pair-Dense Relation Algebras ⋮ The contributions of Alfred Tarski to algebraic logic ⋮ On varieties of groupoids of relations with operation of binary cylindrification. ⋮ Strongly representable atom structures of relation algebras ⋮ Unnamed Item ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ Relation algebras from cylindric algebras. I ⋮ Identities of groupoids of relations with operation of cylindered intersection ⋮ On algebras of binary relations with conjunctive operations ⋮ Some sufficient conditions for the representability of relation algebras ⋮ The modal logic of affine planes is not finitely axiomatisable ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Canonical varieties with no canonical axiomatisation ⋮ Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Inequivalent representations of geometric relation algebras ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Relational proof systems for spatial reasoning ★ ⋮ Nonfinite axiomatizability results for cylindric and relation algebras ⋮ Notions of density that imply representability in algebraic logic ⋮ A sequent calculus for relation algebras ⋮ Combinatorial aspects of relations ⋮ On the Representation of Boolean Magmas and Boolean Semilattices ⋮ Relation algebras: Concept of points and representability
This page was built for publication: On representable relation algebras
