А. А. Оноприенко, “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, Докл. РАН. Матем., информ., проц. упр., 2023, том 514, номер 1,страницы 123

МАТЕМАТИКА

Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC

А. А. Оноприенко

Национальный исследовательский университет "Высшая школа экономики", Москва, Россия

Аннотация: В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC.

Ключевые слова: неклассические логики, логика задач и высказываний, дизъюнктивное свойство, экзистенциальное свойство, теорема Эрбрана, теорема Харропа.

УДК: 510.64

Статья представлена к публикации: А. Л. Семёнов
Поступило: 27.11.2023
После доработки: 07.12.2023
Принято к публикации: 07.12.2023

DOI: 10.31857/S2686954323602324