A note on divisible residuated lattices
Zhang De · Journal of Sichuan University · 2012
Let L be a divisible residuated lattice.It is shown that for each a∈L,there is a natural way to make the lattice {x∈L | x≤a) into a divisible residuated lattice L_a.Furthermore,if L is prelinear(a generalized MV-algebra) then so is L_a.