中間論理

中間論理 () は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。
この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。
定義.
ある論理式の集合"L"が中間論理であるとは、"L"が以下を満たすことを指す。