Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент.
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Popov V. Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент. // Logicheskie Issledovaniya / Logical Investigations. 2001. VOL. 8. C. 150-154.
Issue
Section
Papers
References
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.