Pages that link to "Item:Q3661577"
From MaRDI portal
The following pages link to Some Varieties Containing Relation Algebras (Q3661577):
Displayed 50 items.
- Sum-free cyclic multi-bases and constructions of Ramsey algebras (Q476331) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Necessary subalgebras of simple nonintegral semiassociative relation algebras (Q757364) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- A relation algebra which is not a cylindric reduct (Q911588) (← links)
- Theories with the independence property (Q993495) (← links)
- Computation of Aristotle's and Gergonne's syllogisms (Q1102285) (← links)
- On taking subalgebras of relativized relation algebras (Q1105597) (← links)
- One variable is not enough for defining relation algebras, but two are (Q1175933) (← 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)
- Relation algebras as residuated Boolean algebras (Q1312168) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) (Q1344846) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Taming logic (Q1909607) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Relativizations of relation algebras by the diversity (Q1918962) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Term algebras of elementarily equivalent atom structures (Q1991592) (← links)
- So, what exactly is a qualitative calculus? (Q2046028) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- On inducing homomorphisms between relation set algebras (Q2277261) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- The Neat Embedding Problem and the Number of Variables Required in Proofs (Q3204457) (← links)
- Weakly associative relation algebras with projections (Q3619868) (← links)
- Canonical Relativized Cylindric Set Algebras (Q3834044) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- Stone type representation theorems via games (Q4614240) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- Canonical Relativized Cylindric Set Algebras and Weak Associativity (Q5015977) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- (Q5087782) (← links)
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests (Q5098709) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)