中間論理
ある論理式の集合Lが中間論理であるとは、Lが以下を満たすことを指す。
直観主義論理の公理は全てLに含まれる。
FとGが論理式で、FとF→GがLに含まれるならばGもLに含まれる。
Fが論理式で、FがLに含まれるならば、F中に現れる命題変数に任意の論理式を代入した論理式もLに含まれる。
Fが論理式で、Fが古典論理の定理でないならば、FはLに含まれない。
表示
編集