Answer
Intuitionistic logic, also known as Kolmogorov's logic, is a formal system of logic developed by Andrey Kolmogorov in the 1920s. It is based on the idea that a proposition is true if there is a way to prove it, and that a proposition is false if there is no way to prove it.