Архив статей журнала

ТЕОРЕМА О ПОНИЖЕНИИ МОЩНОСТИ ДЛЯ ЛОГИК QHC И QH4 (2022)
Выпуск: Том 61 № 66 (2022)
Авторы: ОНОПРИЕНКО Анастасия Александровна

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

Сохранить в закладках