Pages that link to "Item:Q647324"
From MaRDI portal
The following pages link to Axiomatizability of positive algebras of binary relations (Q647324):
Displayed 12 items.
- The equational theory of Kleene lattices (Q655418) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
- On varieties of groupoids of relations with operation of binary cylindrification. (Q2257978) (← 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)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) (← links)
- (Q5009432) (← links)
- Stone Relation Algebras (Q5283207) (← links)