Отправить статью по E-mail Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
- Авторы: Оноприенко А.А.1
-
Учреждения:
- Национальный исследовательский университет “Высшая школа экономики”
- Выпуск: Том 514, № 1 (2023)
- Страницы: 123-128
- Раздел: МАТЕМАТИКА
- URL: https://journals.rcsi.science/2686-9543/article/view/247107
- DOI: https://doi.org/10.31857/S2686954323602324
- EDN: https://elibrary.ru/WMAEPN
- ID: 247107
Цитировать
Открытый доступ
Доступ предоставлен
Только для подписчиков
Аннотация
В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC.
Об авторах
А. А. Оноприенко
Национальный исследовательский университет “Высшая школа экономики”
Автор, ответственный за переписку.
Email: ansidiana@yandex.ru
Россия, Москва
Список литературы
- Melikhov S.A. “A Galois connection between classical and intuitionistic logics. I: Syntax”, 2013/22 arX-iv:1312.2575.
- Melikhov S.A. “A Galois connection between classical and intuitionistic logics. II: Semantics”, 2015/22 a-rXiv:1504.03379.
- Колмогоров А.Н. О принципе tertium non datur // Математический сборник. 1925. Т. 32. № 4. С. 646–667.
- Heyting A. Intuitionism: An Introduction. Amsterdam: North-Holland Publishing Company, 1956.
- Медведев Ю.Т. Финитные задачи //Доклады Академии наук. Российская академия наук, 1962. Т. 142. № 5. С. 1015–1018.
- Артёмов С.Н. Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении //Успехи математических наук. 2004. Т. 59. № 2 (356). С. 9–36.
- Оноприенко А.А. Предикатный вариант совместной логики задач и высказываний //Математический сборник. 2022. Т. 213. № 7. С. 97–120.
- Плиско В.Е., Хаханян В.Х. Интуиционистская логика //М.: Изд-во при мех.-мат. ф-те МГУ. 2009. Т. 159. С. 357–371.
- Клини С.К. Математическая логика. М.: Мир, 1973.
- Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. M.: Наука, 1979.
