By "natural deduction", I assume both of you refer to the system which is related to "sequent calculus" ? [1].

[1] https://en.wikipedia.org/wiki/Natural_deduction