摘要
对给定的可除剩余格L及a∈L,作者通过一个自然的构造使得主下集↓a={x∈L | x≤a}成为一个可除剩余格L_a.进一步有,如果L是预线性的或者广义MV-代数,则L_a亦是.
Let L be a divisible residuated lattice. It is shown that for each a E L, there is a natural way to make the lattice {x∈L|x≤a} into a divisible residuated lattice L.. Furthermore, if L is prelinear (a generalized MV-algebra) then so is La.
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2012年第5期985-989,共5页
Journal of Sichuan University(Natural Science Edition)
基金
国家自然科学基金(11071174)
关键词
剩余格
可除
预线性
广义MV-代数
residuated lattice, divisible, prelinear, generalized MV-algebra