Many-valued logics is becoming increasingly important in many branches of science. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics.