Logics of rejection: two systems of natural deduction