Natural Deduction for Non-Classical Logics