Based on the theory and method of residual lattice, the equivalent definitions of MV-algebras, R0-algebras, implicative algebras, FI-algebras, BL-algebras were given.

• 摘要基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式；