Pages that link to "Item:Q2277499"
From MaRDI portal
The following pages link to Representations of distributive lattice-ordered semigroups with binary relations (Q2277499):
Displayed 13 items.
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- On graph reasoning (Q731892) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- On quasi-identities of relation algebras with Diophantine operations (Q1363476) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- The equational theory of union-free algebras of relations (Q1894553) (← links)
- Taming logic (Q1909607) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)