The representation of relation algebras. II

DOI10.2307/1969611zbMath0070.24601OpenAlexW2316726503MaRDI QIDQ767129

Roger C. Lyndon

Publication date: 1956

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (45)

Bjarni Jónsson's contributions in algebra ⋮ A perspective on the theory of relation algebras ⋮ On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras ⋮ Representations for small relation algebras ⋮ Subcompletions of representable relation algebras ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ Relation algebras of intervals ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ The contributions of Alfred Tarski to general algebra ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Boolean modules ⋮ 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 ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ On Semigroups of Relations with the Operation of Left and Right Rectangular Products ⋮ Undecidability of representability as binary relations ⋮ Tractable approximations for temporal constraint handling ⋮ Complete representations in algebraic logic ⋮ The origin of relation algebras in the development and axiomatization of the calculus of relations ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Pair-Dense Relation Algebras ⋮ Reasoning with Graphs ⋮ Multigroups ⋮ Multigroups ⋮ The contributions of Alfred Tarski to algebraic logic ⋮ Strongly representable atom structures of relation algebras ⋮ Ehresmann theory and partition monoids ⋮ Axiomatizing the logical core of XPath 2.0 ⋮ Relation algebras from cylindric algebras. I ⋮ Identities of groupoids of relations with operation of cylindered intersection ⋮ On algebras of binary relations with conjunctive operations ⋮ On graph reasoning ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Canonical varieties with no canonical axiomatisation ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Relation algebras and function semigroups ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Unifying threads in Alfred Tarski's work ⋮ On groupoids of relations with one conjunctive operation of rank 2 ⋮ Relation algebras: Concept of points and representability ⋮ Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication: The representation of relation algebras. II