Deductive Systems for the Modal mu-Calculus