Теоремы переноса и алгебра модальных операторов.
Article Sidebar
Опубликован:
01.11.1995
Main Article Content
Аннотация
Теория множеств, не использующая закона исключенного третьего, сохраняя высокие выразительные возможности (для описания сцен, образов, отношений и т.п.) классической теории множеств, имеет многие черты эффективной теории. В работе строится широкий класс формул, для которых из их выводимости в классической теории множеств следует их же выводимость в интуиционистской теории множеств. Затем в работе приводятся теоремы переноса для классической логики в случае колец (включая упорядоченные кольца; как пример приводятся обобщения теорем Гильберта о нулях и Артина об упорядоченных полях на случай регулярных $f$-колец).
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Любецкий В. А. Теоремы переноса и алгебра модальных операторов. // Логические исследования / Logical Investigations. 1995. Т. 3. C. 205-232.
Выпуск
Раздел
Статьи
Литература
F r ie d m a n Н. Classically and intuitionistically provable recursive functions// Higher Set Theory, Lecture Notes in Mathematics. Vol. 669, Springer-Verlag, 1978, p. 21-27.
Л ю б е ц к и й В. А. О б одном подходе к моделированию интеллектуальных систем// Проблемы передачи информации. Т 29, в 3. 1993, с. 107-109.
Л ы у б е т ск ы Ж . A. Heyting-valued analysis: P.S.Novikov’s hypothesis// Amer. Math. Society, Contemporary Mathematics. Vol. 131, 1992 (Part 3), p. 565-582.
Л ю б е ц к и й В. А. Оценки и пучки: теоремы переноса. Дисс. на докт. наук. Ин—т проблем передачи информации РАН. Москва, 1991.
Л ю б е ц к и й В. А. Оценки и пучки: теоремы переноса. Автореф. дисс. Ин-т проблем передачи информации РАН. Москва, 1991. 6 . Л ю б е ц к и й В. А. Оценки и пучки. О некоторых вопросах нестандартного анализа// Успехи мат. наук. Т 44, вып. 4 (268), 1989, с. 99 -153.
L y u b e ts k y V.A. On some applications of Heyting-valued analysis, II. Lecture Notes in Computer Science, Springer-Verlag, vol. 417, 1988, p. 122 - 145.
Л ю б е ц к и й В. А. О б одном подходе к моделированию интеллектуальных систем// Проблемы передачи информации. Т 29, в 3. 1993, с. 107-109.
Л ы у б е т ск ы Ж . A. Heyting-valued analysis: P.S.Novikov’s hypothesis// Amer. Math. Society, Contemporary Mathematics. Vol. 131, 1992 (Part 3), p. 565-582.
Л ю б е ц к и й В. А. Оценки и пучки: теоремы переноса. Дисс. на докт. наук. Ин—т проблем передачи информации РАН. Москва, 1991.
Л ю б е ц к и й В. А. Оценки и пучки: теоремы переноса. Автореф. дисс. Ин-т проблем передачи информации РАН. Москва, 1991. 6 . Л ю б е ц к и й В. А. Оценки и пучки. О некоторых вопросах нестандартного анализа// Успехи мат. наук. Т 44, вып. 4 (268), 1989, с. 99 -153.
L y u b e ts k y V.A. On some applications of Heyting-valued analysis, II. Lecture Notes in Computer Science, Springer-Verlag, vol. 417, 1988, p. 122 - 145.