クルト・ゲーデル
In 1932, Kurt Gödel defined a system of logics intermediate between classical and intuitionistic logic; Gödel logics are concomitantly known as intermediate logics.