最小論理
Andrei Kolmogorov
と
Ingebrigt Johansson
による研究が発端?
A. Kolmogorov, "O principe tertium non datur"
Johansson I., "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus"
https://eudml.org/doc/88648