Паранормальная подлогика интуиционистской логики.
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Batashev D., Popov V. Паранормальная подлогика интуиционистской логики. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 62-66.
Issue
Section
Papers
References
Баташев Д.В., Попов В.М Об одной девятизначной паранормальной логике// Логические исследования. 2005, Вып.12. С. 54-61.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1957 С. 9 - 74.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1957 С. 9 - 74.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.