Pages that link to "Item:Q647324"
From MaRDI portal
The following pages link to Axiomatizability of positive algebras of binary relations (Q647324):
Displaying 33 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)
- Positive indistinguishability of algebraic systems, and completeness of positive theories (Q1821093) (← links)
- Axiomatizability of reducts of algebras of relations (Q1866804) (← links)
- Equational theory of relation algebras with positive operations (Q1901893) (← 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)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- (Q3337519) (← links)
- On Birkhoff's Postulates for a Relation Algebra (Q4133687) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- Axiomatizing complete positivity (Q5015194) (← links)
- (Q5089295) (← links)
- (Q5144669) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- On Positive Relational Calculi (Q5436993) (← 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)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
- Semiring identities of the semigroup \(B_0\) (Q6651829) (← links)
