Lattice of subvarieties of
Does the lattice of subvarieties of residuated lattices have
any coatoms? Is RL join-irreducible?
Lists of finite algebras (36) (58)
Theorem (Dilworth 1939): Let `X` be a set of elements
in a residuated lattices that pair-wise join to `e`. Then
`X` generates a generalized Boolean lattice under `vv,^^`.
Find effective ways to compute in finitely presented algebras.
Implications between identities