可除剩余格中的消去律

Cancellation Law of Divisible Residuated Lattices

首先,通过对可除剩余格性质的进一步探究,给出了可除剩余格中的蕴涵左消去律;其次,结合剩余格中"′"运算的性质,证明了正则条件下的蕴涵右消去律的存在性;最后,根据""和"→"的伴随性质,进一步探讨了正则可除剩余格中的乘法消去律的表现形式。

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 ＂→＂.