Функциональная алгебраическая модель для S-реализуемости
Main Article Content
Abstract
We present here the functional algebraic model for so-called «s-realizability» that is a modification of well-known Kleene’s realizability.
Downloads
Download data is not yet available.
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.