The algebraic essence of residual lattices for various logical algebras was pointed out.

• 进一步指出了各种逻辑代数的剩余格的代数本质。