自然推理演算

_

calculus of natural deduction, calculus of nature inference