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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 31.10.2001
DOI: https://doi.org/10.21146/2074-1472-2001-8-0-150-154

##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##

How to Cite
Popov V. Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент. // Logicheskie Issledovaniya / Logical Investigations. 2001. VOL. 8. C. 150-154.
Issue
Vol 8 (2001)
Section
Papers

References

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