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