Pages that link to "Item:Q2277499"
From MaRDI portal
The following pages link to Representations of distributive lattice-ordered semigroups with binary relations (Q2277499):
Displaying 29 items.
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← 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)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← 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)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- Equational theories for automata (Q2074221) (← links)
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Reasoning with Graphs (Q4917998) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- On the Representation of Boolean Magmas and Boolean Semilattices (Q5015976) (← links)
- On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)
