The important role of residual lattice in the logic algebras system was verified.

• 说明了剩余格在逻辑代数系统中的重要地位；