Enviar artigo por via de e-mail ON ANALOGUES OF HERBRAND’S AND HARROP’S THEOREMS FOR THE JOINT LOGIC OF PROBLEMS AND PROPOSITIONS QHC
- Autores: Onoprienko A.1
-
Afiliações:
- HSE University
- Edição: Volume 514, Nº 1 (2023)
- Páginas: 123-128
- Seção: МАТЕМАТИКА
- URL: https://journals.rcsi.science/2686-9543/article/view/247107
- DOI: https://doi.org/10.31857/S2686954323602324
- EDN: https://elibrary.ru/WMAEPN
- ID: 247107
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
In this paper analogues of Herbrand’s and Harrop’s theorems for the logic QHC are proved.
Sobre autores
A. Onoprienko
HSE University
Autor responsável pela correspondência
Email: ansidiana@yandex.ru
Russia, Moscow
Bibliografia
- 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.
