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.