1932年にクルト・ゲーデルは古典論理と直観主義論理の間にあるゲーデル論理の体系を定義した。
哥德尔在1932年证明了直觉逻辑不是有限多值的逻辑，并定义了在经典逻辑和直觉逻辑之间的哥德尔逻辑系统，这种逻辑叫做中间逻辑。