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

Article Sidebar

PDF
Опубликован: 31.10.2001
DOI: https://doi.org/10.21146/2074-1472-2001-8-0-150-154

Main Article Content

В.М. Попов

Аннотация

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.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Попов В. Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 150-154.
Выпуск
Том 8 (2001)
Раздел
Статьи

Литература

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