generated at
古典論理

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


対
非古典論理