Kurt Gödel in 1932 showed that intuitionistic logic is not a finitely-many valued logic, and defined a system of Gödel logics intermediate between classical and intuitionistic logic ; such logics are known as intermediate logics.

Kurt Gödel in 1932 showed that intuitionistic logic is not a finitely-many valued logic.

0.025 seconds.