Pages that link to "Item:Q647324"
From MaRDI portal
The following pages link to Axiomatizability of positive algebras of binary relations (Q647324):
Displayed 22 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)
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← 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)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Flat extensions of groups and limit varieties of additively idempotent semirings (Q2694733) (← links)
- The class of representable semilattice-ordered monoids is not a variety (Q2695350) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5089295) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Semiring identities of finite inverse semigroups (Q6042622) (← links)
- On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)