Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Алгебра и логика, 2022, том 61, номер 6, страницы 720–741
DOI: https://doi.org/10.33048/alglog.2022.61.604 (Mi al2739) 		 
Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$

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

Ин-т проблем передачи информ. им. А. А. Харкевича РАН, г. Москва, РОССИЯ
PDF полного текста (225 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2022.61.604
Аннотация: Рассматривается совместная логика задач и высказываний ${\mathrm{QHC}}$, введённая С. А. Мелиховым, а также интуиционистская модальная логика ${\mathrm{QH4}}$. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма–Сколема о счётной элементарной подмодели для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$.
Ключевые слова: неклассические логики, семантика Крипке, перевод.
Финансовая поддержка Номер гранта
Российский научный фонд 21-18-00195
Фонд развития теоретической физики и математики "БАЗИС"
Работа выполнена при поддержке РНФ, проект № 21-18-00195. Автор является стипендиатом Фонда развития теор. физ. и матем. "‘БАЗИС"’.
Поступило: 15.05.2022
Окончательный вариант: 13.10.2023
Тип публикации: Статья
УДК: 510.53
Образец цитирования: А. А. Оноприенко, “Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$”, Алгебра и логика, 61:6 (2022), 720–741
Цитирование в формате AMSBIB
\RBibitem{Ono22}
\by А.~А.~Оноприенко
\paper Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$
\jour Алгебра и логика
\yr 2022
\vol 61
\issue 6
\pages 720--741
\mathnet{http://mi.mathnet.ru/al2739}
\crossref{https://doi.org/10.33048/alglog.2022.61.604}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2739
  • https://www.mathnet.ru/rus/al/v61/i6/p720
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:68
    PDF полного текста:20
    Список литературы:22
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024