Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент.

##plugins.themes.bootstrap3.article.main##

V.M. Popov

Abstract

A translation from the calculus Int which is of the intuitionistic propositional logic to the calculus Int which is axiomatisation of the positive fragment of Int is constructed.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.