2-sequent calculus: intuitionism and natural deduction