Implications between identities in Residuated Lattices



The source.
(basic) basic logic
(bool) generalized boolean algebras
(brou) brouwerian
(canc) cancellative
(cancom)cancellative and commutative
(comm) commutative
(conj) conjugation is identity map
(dist) distributive
(inte) integral
(opp) opposite identity
(wbasic)weakly basic logic, xL=Lx
()