Мақаланы E-mail арқылы жіберу ON ANALOGUES OF HERBRAND’S AND HARROP’S THEOREMS FOR THE JOINT LOGIC OF PROBLEMS AND PROPOSITIONS QHC
- Авторлар: Onoprienko A.A.1
-
Мекемелер:
- HSE University
- Шығарылым: Том 514, № 1 (2023)
- Беттер: 123-128
- Бөлім: MATHEMATICS
- URL: https://ogarev-online.ru/2686-9543/article/view/247107
- DOI: https://doi.org/10.31857/S2686954323602324
- EDN: https://elibrary.ru/WMAEPN
- ID: 247107
Дәйексөз келтіру
Толық мәтін
Аннотация
In this paper analogues of Herbrand’s and Harrop’s theorems for the logic QHC are proved.
Авторлар туралы
A. Onoprienko
HSE University
Хат алмасуға жауапты Автор.
Email: ansidiana@yandex.ru
Russia, Moscow
Әдебиет тізімі
- 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.
Қосымша файлдар
