A joint logic of problems and propositions

Sergey A. Melikhov

In a 1985 commentary to his collected works, Kolmogorov informed the reader that his 1932 paper 'On the interpretation of intuitionistic logic' "was written in hope that with time,…