Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic