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

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.