Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой.
Article Sidebar
Опубликован:
30.11.2005
Main Article Content
Аннотация
В настоящей работе будет обобщен для теории множеств с интуиционистской логикой предложенный А.Г. Драгалиным очень общий подход к построению моделей для нестандартных логик, в частности для интуиционистской логики, в стиле равномерных алгебр (см. [1]).
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Хаханян В. Функциональные алгебраические модели для HA и теории множеств с интуиционистской логикой. // Логические исследования / Logical Investigations. 2005. Т. 12. C. 272-281.
Выпуск
Раздел
Статьи
Литература
Драгалин А.Г. Функциональные алгебраические модели // Семиотика и информатика. М.: ВИНИТИ. 1979, Вып. XIII. С. 184-195.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Math. 1973. N. 337. P. 96.
Драгалии А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 60-61.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Матем. Заметки. Т.75, январь 2004. Вып.1. С. 155- 157.
Хаханян В.Х. Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини // Логические исследования. Вып. 10. М.: Наука, 2003. С. 198-203.
Хаханян В.Х. Функциональные алгебраические модели для неклассической теории множеств // Логические исследования. Вып. 4. М.: Наука, 1997. С. 192-195.
Khakhanian V.Kh. Functional algebraic models for non-classical set theory // Bulletin of the Section of Logic, 1998, (march-june), V. 27. P. 53-54.
Расёва E., Сикорский P. Математика метаматематики. M.: Наука, 1972.
Feferman S. Arithmetization of mathematics in general setting // Fundamenta Mathematica, 1960. N. 49. P. 35-92.
Beeson M. The nonderivability in intuitionistic formal system of theorem on the continuity of effective operations // The Journal of Symbolic Logic, 1975. V.40. N. 3. P. 321-346.
Kleene S.C. Realizability: a retrospective survey // Lecture Notes in Math. 1973. N. 337. P. 96.
Драгалии А.Г. Математический интуиционизм. Введение в теорию доказательств. М.: Наука, 1979. С. 60-61.
Хаханян В.Х. Функциональная алгебраическая модель, эквивалентная штрих-реализуемости Клини // Матем. Заметки. Т.75, январь 2004. Вып.1. С. 155- 157.
Хаханян В.Х. Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини // Логические исследования. Вып. 10. М.: Наука, 2003. С. 198-203.
Хаханян В.Х. Функциональные алгебраические модели для неклассической теории множеств // Логические исследования. Вып. 4. М.: Наука, 1997. С. 192-195.
Khakhanian V.Kh. Functional algebraic models for non-classical set theory // Bulletin of the Section of Logic, 1998, (march-june), V. 27. P. 53-54.
Расёва E., Сикорский P. Математика метаматематики. M.: Наука, 1972.
Feferman S. Arithmetization of mathematics in general setting // Fundamenta Mathematica, 1960. N. 49. P. 35-92.
Beeson M. The nonderivability in intuitionistic formal system of theorem on the continuity of effective operations // The Journal of Symbolic Logic, 1975. V.40. N. 3. P. 321-346.