[astrobe_]

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

[cubefox]

Yes. See the "Comparison with sequent calculus" section.