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

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

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



Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Известия Российской академии наук. Серия математическая, статья будет опубликована в одном из ближайших номеров (Mi im9592)  

On the unification problem for $\mathrm{GLP}$

L. D. Beklemishev

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
Аннотация: Мы показываем, что полимодальная логика доказуемости GLP, сформулированная в языке по крайней мере с двумя модальностями и одной переменной, имеет нулевой унификационный тип. В частности, мы доказываем, что формула $[1]p$ не имеет максимальных унификаторов, и предъявляем для нее бесконечное полное множество унификаторов. Далее, мы обсуждаем алгоритмическую проблему унифицируемости данной формулы в GLP, и отмечаем, что эта проблема имеет положительное решение. Наконец, мы рассматриваем арифметические аналоги проблем унификации и допустимости правил вывода для логики GLP и формулируем несколько открытых вопросов.
Ключевые слова: логика доказуемости, унификация, допустимое правило вывода
Поступило в редакцию: 07.04.2024
Тип публикации: Статья
УДК: 510.643.7
MSC: 03F45, 03B45
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im9592
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:75
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024