ON ANALOGUES OF HERBRAND’S AND HARROP’S THEOREMS FOR THE JOINT LOGIC OF PROBLEMS AND PROPOSITIONS QHC

封面

如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅或者付费存取

详细

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

参考

  1. Melikhov S.A. “A Galois connection between classical and intuitionistic logics. I: Syntax”, 2013/22 arX-iv:1312.2575.
  2. Melikhov S.A. “A Galois connection between classical and intuitionistic logics. II: Semantics”, 2015/22 a-rXiv:1504.03379.
  3. Колмогоров А.Н. О принципе tertium non datur // Математический сборник. 1925. Т. 32. № 4. С. 646–667.
  4. Heyting A. Intuitionism: An Introduction. Amsterdam: North-Holland Publishing Company, 1956.
  5. Медведев Ю.Т. Финитные задачи //Доклады Академии наук. Российская академия наук, 1962. Т. 142. № 5. С. 1015–1018.
  6. Артёмов С.Н. Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении //Успехи математических наук. 2004. Т. 59. № 2 (356). С. 9–36.
  7. Оноприенко А.А. Предикатный вариант совместной логики задач и высказываний //Математический сборник. 2022. Т. 213. № 7. С. 97–120.
  8. Плиско В.Е., Хаханян В.Х. Интуиционистская логика //М.: Изд-во при мех.-мат. ф-те МГУ. 2009. Т. 159. С. 357–371.
  9. Клини С.К. Математическая логика. М.: Мир, 1973.
  10. Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. M.: Наука, 1979.

补充文件

附件文件
动作
1. JATS XML
下载

版权所有 © А.А. Оноприенко, 2023