古典論理
例
ヒルベルト流
ゲンツェンの自然演繹(NK)
シークエント計算
対
非古典論理