首先，给出了剩余交半格的概念，通过对其性质的研究，证明了剩余交半格中的所有正则元构.成的集合是交半格，并举例说明了剩余交半格中的所有正则元构成的集合不是剩余交半格；其 次，证.明了满足剩余交换律：ｘ（ｘ→ｙ）＝ｙ（ｙ→ｘ）的正则剩余交半格是 Ｗａｊｓｂｅｒｇ代数；最后，由剩余交.换律：ｘ（ｘ→ｙ）＝ｙ（ｙ→ｘ）得出了Ｌ 是满足剩余交换律的 ＭＴＬ代数当且仅当Ｌ 是 ＢＬ代数。