Monotonic and nonmonotonic gentzen deduction systems for L₃-valued propositional logic