In logic and proof theory , natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the `` natural '' way of reasoning .
It is meant to express inference rules closely related to the `` natural '' way of reasoning .