Gerhard Gentzen

System L (tabular natural deduction)

Argument map, the general term for tree-like logic notation

image natural deduction

define natural deduction

wikipedia natural deduction

weblio natural deduction

kotobank natural deduction

jisho natural deduction