研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件。同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数。
The relationship between general residuated lattices(may be not commutative) and the Boolean algebras,some necessary and sufficient conditions for a residuated lattice to be a Boolean algebra are established.Moreover,these results are generalized to bounded psBCK-algebras which only have implication operators.