The representation of relation algebras. II

From MaRDI portal
Publication:767129

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



Related Items

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