Pages that link to "Item:Q3290738"
From MaRDI portal
The following pages link to Representation of Modular Lattices and Of Relation Algebras (Q3290738):
Displaying 50 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Embedding modular lattices into relation algebras (Q599841) (← links)
- Failure of interpolation in relevant logics (Q689074) (← links)
- On graph reasoning (Q731892) (← links)
- Recursively unsolvable word problems of modular lattices and diagram- chasing (Q759047) (← links)
- Varieties of relation algebras (Q797616) (← links)
- Combinatorial aspects of relations (Q800500) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Representations of additive relation algebras by modules (Q1078216) (← links)
- Arguesian lattices whose skeleton is a chain (Q1095959) (← links)
- Congruence varieties (Q1141676) (← links)
- On embedding lattices into block lattices of regular algebras and groups (Q1204749) (← links)
- The theory of commuting subalgebras of complete Heyting algebras (Q1273837) (← links)
- Lattice representations for computability theory (Q1295402) (← links)
- Arguesian identities in linear lattices (Q1302053) (← links)
- The theory of commuting Boolean sigma-algebras (Q1302054) (← links)
- Congruence modularity implies the Arguesian law for single algebras with a difference term (Q1305447) (← links)
- Weakly representable but not representable relation algebras (Q1337158) (← links)
- On quasi-identities of relation algebras with Diophantine operations (Q1363476) (← links)
- Simple involutive quantales (Q1372652) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Distributive laws for commuting equivalence relations (Q1381868) (← links)
- Commuting quasi-order relations (Q1382835) (← links)
- Geometric identities in lattice theory (Q1584665) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← 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)
- General geometric lattices and projective geometry of modules (Q1912506) (← links)
- Congruences, equational theories and lattice representations (Q1922118) (← links)
- Arguesian identities in the congruence variety of Abelian groups (Q1971631) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Ehresmann theory and partition monoids (Q2019289) (← links)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- On groupoids of relations with one conjunctive operation of rank 2 (Q2082252) (← links)
- On algebras of relations with operations of left and right reflexive product (Q2207015) (← links)
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
- Arguesian lattices which are not type-1 (Q2276988) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- Relation algebras and function semigroups (Q2539869) (← links)
- On the consistency problem for modular lattices and related structures (Q2955411) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- On the Representation of Lattices by Modules (Q4093491) (← links)
- A CHOREOGRAPHIC ROBOT VISION MODEL (Q4136627) (← links)
- Arguesian lattices which are not linear (Q4724677) (← links)
- Reasoning with Graphs (Q4917998) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Multigroups (Q5903545) (← links)
