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

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

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


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




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

Сибирские электронные математические известия, 2023, том 20, выпуск 1, страницы 245–250
DOI: https://doi.org/10.33048/semi.2023.20.019 (Mi semr1583) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Математическая логика, алгебра и теория чисел

Предтабличность и интерполяционное свойство Крейга над минимальной логикой

Л. Л. Максимова, В. Ф. Юн

Sobolev Institute of Mathematics, pr. Koptyuga, 4, 630090, Novosibirsk, Russia
PDF полного текста (312 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2023.20.019
Аннотация: In this paper [1] the tabularity problem was solved and all pre-tabular extensions of the minimal logic were described. In total, there turned out to be seven pre-tabular logics over the minimal logic.
In this article, we will prove that four of them have the Craig's interpolation property CIP and two do not have. The question of CIP in the seventh logic is still open.
Ключевые слова: minimal logic, tabularity, pre-tabular logic, interpolation problem.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации FWNF-2022-0011
Работа выполнена в рамках государственного задания ИМ СО РАН, проект FWNF-2022-0011.
Поступила 1 января 2022 г., опубликована 13 марта 2023 г.
Тип публикации: Статья
УДК: 510.6
MSC: 03B45
Образец цитирования: Л. Л. Максимова, В. Ф. Юн, “Предтабличность и интерполяционное свойство Крейга над минимальной логикой”, Сиб. электрон. матем. изв., 20:1 (2023), 245–250
Цитирование в формате AMSBIB
\RBibitem{MakYun23}
\by Л.~Л.~Максимова, В.~Ф.~Юн
\paper Предтабличность и интерполяционное свойство Крейга над минимальной логикой
\jour Сиб. электрон. матем. изв.
\yr 2023
\vol 20
\issue 1
\pages 245--250
\mathnet{http://mi.mathnet.ru/semr1583}
\crossref{https://doi.org/10.33048/semi.2023.20.019}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1583
  • https://www.mathnet.ru/rus/semr/v20/i1/p245
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024