×

A note on divisible residuated lattices. (English) Zbl 1274.06054

Summary: Let \(\boldsymbol{L}\) be a divisible residuated lattice. It is shown that for each \(a\in \boldsymbol{L}\), there is a natural way to make the lattice \(\{x\in \boldsymbol{L}\mid x\leqslant a\}\) a divisible residuated lattice \(\boldsymbol{L}_a\). Furthermore, if \(\boldsymbol{L}\) is prelinear (a generalized MV-algebra), then so is \(\boldsymbol{L}_a\).

MSC:

06F05 Ordered semigroups and monoids
06D35 MV-algebras
Full Text: DOI