>>578

>>妙に異なった体系

単純に、様々な派生推論規則が加えられてるだけじゃなくて?
基本的な定義から変わってるってこと?

たしかに「自然演繹」と呼ばれるものは沢山あると思うけど、
「自然演繹NK」についてもいろいろあるの?

そうだとすれば、私の完全な勉強不足なので、具体的な本を
教えてほしい。