The following pages link to (Q5089295):
Displaying 4 items.
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- The class of representable semilattice-ordered monoids is not a variety (Q2695350) (← links)
- (Q5089295) (← links)
- Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them (Q5350184) (← links)