Pages that link to "Item:Q2521342"

The following pages link to On representable relation algebras (Q2521342):

Displayed 50 items.

• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) ‎ (← links)
• Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) ‎ (← links)
• Axiomatizability of positive algebras of binary relations (Q647324) ‎ (← links)
• A sequent calculus for relation algebras (Q786804) ‎ (← links)
• Combinatorial aspects of relations (Q800500) ‎ (← links)
• The calculus of relations as a foundation for mathematics (Q877838) ‎ (← links)
• The algebra of functions with antidomain and range (Q908324) ‎ (← links)
• Relation algebras: Concept of points and representability (Q1063597) ‎ (← links)
• Boolean modules (Q1154462) ‎ (← links)
• The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893) ‎ (← links)
• Algebraization of quantifier logics, an introductory overview (Q1189899) ‎ (← links)
• Dynamic algebras: Examples, constructions, applications (Q1189900) ‎ (← links)
• Some sufficient conditions for the representability of relation algebras (Q1249576) ‎ (← links)
• Notions of density that imply representability in algebraic logic (Q1295366) ‎ (← links)
• A perspective on the theory of relation algebras (Q1327468) ‎ (← links)
• Atom structures of cylindric algebras and relation algebras (Q1377624) ‎ (← links)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) ‎ (← links)
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) ‎ (← links)
• Relation algebras and groups (Q1652847) ‎ (← links)
• Subcompletions of representable relation algebras (Q1652851) ‎ (← links)
• Relation algebras and their application in temporal and spatial reasoning (Q1781107) ‎ (← links)
• Identities of groupoids of relations with operation of cylindered intersection (Q1792505) ‎ (← links)
• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) ‎ (← links)
• On the equational complexity of RRA (Q1935010) ‎ (← links)
• A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) ‎ (← links)
• On algebras of binary relations with conjunctive operations (Q2036387) ‎ (← links)
• Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) ‎ (← links)
• Relation algebras of intervals (Q2171260) ‎ (← links)
• On algebras of relations with operations of left and right reflexive product (Q2207015) ‎ (← links)
• On varieties of groupoids of relations with operation of binary cylindrification. (Q2257978) ‎ (← links)
• On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) ‎ (← links)
• Varieties of semiassociative relation algebras and tense algebras (Q2310438) ‎ (← links)
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) ‎ (← links)
• The class of representable semilattice-ordered monoids is not a variety (Q2695350) ‎ (← links)
• Representability is not decidable for finite relation algebras (Q2701663) ‎ (← links)
• Undecidable theories of Lyndon algebras (Q2732275) ‎ (← links)
• Strongly representable atom structures of relation algebras (Q2781354) ‎ (← links)
• POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) ‎ (← links)
• The contributions of Alfred Tarski to algebraic logic (Q3029010) ‎ (← links)
• Weak representations of relation algebras and relational bases (Q3173530) ‎ (← links)
• (Q3304097) ‎ (← links)
• NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) ‎ (← links)
• The modal logic of affine planes is not finitely axiomatisable (Q3617371) ‎ (← links)
• Relational proof systems for spatial reasoning ★ (Q3647246) ‎ (← links)
• Some Varieties Containing Relation Algebras (Q3661577) ‎ (← links)
• The contributions of Alfred Tarski to general algebra (Q3770483) ‎ (← links)
• Pair-Dense Relation Algebras (Q3985845) ‎ (← links)
• Relation algebras of every dimension (Q4032659) ‎ (← links)
• Non-finite-axiomatizability results in algebraic logic (Q4032865) ‎ (← links)
• Nonfinite axiomatizability results for cylindric and relation algebras (Q4204149) ‎ (← links)