Функциональная алгебраическая модель для S-реализуемости
##plugins.themes.bootstrap3.article.sidebar##
Published:
16.01.2007
##plugins.themes.bootstrap3.article.main##
Abstract
We present here the functional algebraic model for so-called «s-realizability» that is a modification of well-known Kleene’s realizability.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Khakhanian V. Функциональная алгебраическая модель для S-реализуемости // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 13. C. 195-198.
Issue
Section
Papers
References
Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ, 1979. Т. XIII. С. 184-195.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 64, 215-218.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Математические заметки, 2004. Т. 75. Вып. 1. С. 155- 156.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 64, 215-218.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Математические заметки, 2004. Т. 75. Вып. 1. С. 155- 156.