How did Kolmogorov came up with his formalization of intuitionistic logic?

According to this article Kolmogorov published a paper in 1925 in which he attempted to formalize Brouwer’s intuitionistic mathematics.
In that paper there are the following logical formulas:

begin{align} tag{1} A & rightarrow(B rightarrow A)\ tag{2} (A
> rightarrow(A rightarrow B)) & rightarrow (A rightarrow B)\
> tag{3} (A rightarrow(B rightarrow C)) & rightarrow (B
> rightarrow(A rightarrow C))\ tag{4} (B rightarrow C) &
> rightarrow((A rightarrow B) rightarrow(A rightarrow C))\ tag{5}
> (A rightarrow B) & rightarrow((A rightarrow neg B) rightarrow
> neg A)\ end{align}

Were there any preceding concepts that he used to come up with the above?

Is it possible to reconstruct a plausible thought process and preceding conceptual resources that he used to come up with these formulas?