|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Теорема о понижении мощности для логик QHC и QH4статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 19 июня 2024 г.
- Автор: Оноприенко А.А.
- Журнал: Алгебра и логика
- Том: 61
- Номер: 6
- Год издания: 2022
- Издательство: Обществ. фонд "Сиб. фонд алгебры и логики"
- Местоположение издательства: Новосибирск
- Первая страница: 720
- Последняя страница: 741
- DOI: 10.33048/alglog.2022.61.604
- Аннотация: Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4.
- Добавил в систему: Оноприенко Анастасия Александровна