Паранормальная подлогика интуиционистской логики.

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

D.V. Batashev
V.M. Popov

Abstract

A Hilbert style calculi $\mathbf{HIAP}$ is constructed and a paranormal logic $\mathbf{IAP} which is sublogic of intuitionistic prepositional logic is defined. A sequent calculi $\mathbf{GIAP}$ axiomatizing a logic $\mathbf{IAP}$ is performed. Kripke style semantics corresponding to logic $\mathbf{IAP}$ is constructed and the maps embedding $\mathbf{IntP}$ to $\mathbf{IAP}$ are defined.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Баташев Д.В., Попов В.М Об одной девятизначной паранормальной логике// Логические исследования. 2005, Вып.12. С. 54-61.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1957 С. 9 - 74.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>