Optimal Axiomatizations of Finitely Valued Logics 1