2020-01-152020-01-152012-10SANZ, Wagner Campos. Kolmogorov e a lógica de problemas I. Notae Philosophicae Scientiae Formalis, Santa Maria, v. 1, n. 2, p. 184-197, out. 2012.e- 2238-8796http://repositorio.bc.ufg.br/handle/ri/18519Intuitionistic logical constants are characterized by means of BHK clauses. The “K” is a reference to Kolmogorov who in 1925 had made a proposal for defining intuitionistic logic and which was later extended with the inclusion of ex falso quodlibet principle. In 1932 [Kol32] this principle is present and the author gives a semantics alternative to the one presented by Heyting in 1930. Kolmogorov uses the concept of problem. Here we are proposing a partial analysis of this semantics of problems. We want to show that this semantics involves a logic of actions. We finish by pointing what seems to us to be an open problem in this semantics.porAcesso AbertoProblems theoryIntuitionismLogic of actionsMathematical practiceTeoria de problemasIntuicionismoLógica de açõesPrática matemáticaArtigo