可除剩余格中的消去律  

Cancellation Law of Divisible Residuated Lattices

作　　者：崔艳丽[1,2] 吴洪博[1] CUI Yan-li;WU Hong-bo(College of Mathematics ＆ Information Science,Shaanxi Normal University,Xi＇an 710119,China;Hanzhong Vocational and Technical College,Hanzhong 723000,China)

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710119 [2]汉中职业技术学院基础教学部,陕西汉中723000

出　　处：《模糊系统与数学》2018年第4期110-115,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11531009;61572016);中央高校基本科研业务费专项基金资助项目(GK201501001)

摘　　要：首先,通过对可除剩余格性质的进一步探究,给出了可除剩余格中的蕴涵左消去律;其次,结合剩余格中"′"运算的性质,证明了正则条件下的蕴涵右消去律的存在性;最后,根据""和"→"的伴随性质,进一步探讨了正则可除剩余格中的乘法消去律的表现形式。Firstly, the left cancellation law through the further exploration of properties the properties of the ＂′＂ operation, the exi lattices with the regular condition is prove cancellation law in the regular divisible residu of of st d. implication in divisible r divisible residuated lattice ence of right cancellation Finally, the expression esiduated lattices is proved s. Secondly, combined with law in divisible residuated form of the multiplicative ated lattices is further discussed according to the internal relations between ＂＂ and ＂→＂.

关 键 词：剩余格 可除剩余格 正则剩余格 消去律 BL-代数 

分 类 号：O141[理学—数学]