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

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 514. № 1. С. 123–128.

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

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

Ключевые слова: неклассические логики, non-classical logics, logic of problems and propositions, disjunctive property, existential property, Herbrand’s theorem, Harrop’s theorem, логика задач и высказываний, дизъюнктивное свойство, экзистенциальное свойство, теорема Эрбрана, теорема Харропа