ТЕОРЕМА О ПОНИЖЕНИИ МОЩНОСТИ ДЛЯ ЛОГИК QHC И QH4 (2022)

Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4.

Тип: Статья
Автор (ы): ОНОПРИЕНКО Анастасия Александровна
Ключевые фразы: НЕКЛАССИЧЕСКИЕ ЛОГИКИ, СЕМАНТИКА КРИПКЕ, ПЕРЕВОД

Идентификаторы и классификаторы

УДК
510.53. Алгоритмические проблемы
Префикс DOI
10.33048/alglog.2022.61.604
eLIBRARY ID
54693360
Текстовый фрагмент статьи