>>604
私は579ではありませんが、579はバカではありません。

自然演繹を木状に書くのではなくシーケント状に書く流儀があるのです。
型理論を指向する研究でよく使われるのではないかと思います。
手元にないので確認できませんが、林晋さんの数理論理学では
シーケント状のNKを使っていたかもしれません。