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

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

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


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




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

Сибирский математический журнал, 2012, том 53, номер 5, страницы 1048–1064 (Mi smj2329)  
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

Разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках

Л. Л. Максимоваab

a Новосибирский гос. университет, Новосибирск
b Институт математики им. С. Л. Соболева СО РАН, Новосибирск
PDF полного текста (335 kB) Список цитирования (9)
Список литературы:
PDF
HTML
Аннотация: Исследуются раcширения минимальной логики $\mathrm J$ Йохансона. Найдены достаточные условия финитной аппроксимируемости $\mathrm J$-логик в зависимости от вида их аксиом. С использованием этих условий доказывается разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках. Ранее были описаны все $\mathrm J$-логики со слабым интерполяционным свойством WIP и доказана разрешимость WIP над $\mathrm J$.
Установлена разрешимость проблемы амальгамируемости стройных многообразий $\mathrm J$-алгебр.
Ключевые слова: интерполяция, минимальная логика, стройная логика.
Статья поступила: 19.07.2011
Англоязычная версия:
Siberian Mathematical Journal, 2012, Volume 53, Issue 5, Pages 839–852
DOI: https://doi.org/10.1134/S0037446612050096
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
Образец цитирования: Л. Л. Максимова, “Разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках”, Сиб. матем. журн., 53:5 (2012), 1048–1064; Siberian Math. J., 53:5 (2012), 839–852
Цитирование в формате AMSBIB
\RBibitem{Mak12}
\by Л.~Л.~Максимова
\paper Разрешимость интерполяционного свойства Крейга в~стройных $\mathrm J$-логиках
\jour Сиб. матем. журн.
\yr 2012
\vol 53
\issue 5
\pages 1048--1064
\mathnet{http://mi.mathnet.ru/smj2329}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3057926}
\transl
\jour Siberian Math. J.
\yr 2012
\vol 53
\issue 5
\pages 839--852
\crossref{https://doi.org/10.1134/S0037446612050096}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000310374900009}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84868132857}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj2329
  • https://www.mathnet.ru/rus/smj/v53/i5/p1048
    • Эта публикация цитируется в следующих 9 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024