We develop the theory of generalized bi-Hamiltonian reduction. Applying this theory to the loop algebra proved to be equivalent to a generalized Drinfeld-Sokolov reduction. This gives a way to construct new examples of ...