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

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

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


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




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

Алгебра и логика, 2015, том 54, номер 2, страницы 252–274
DOI: https://doi.org/10.17377/alglog.2015.54.208 (Mi al691) 		 
Эта публикация цитируется в 18 научных статьях (всего в 18 статьях)

Узнаваемые логики

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

a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
PDF полного текста (197 kB) Список цитирования (18)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/alglog.2015.54.208
Аннотация: Исследуются расширения минимальной логики J Йохансона и проблема узнавания. Доказывается узнаваемость некоторых известных логик над J. Показывается узнаваемость над J всех стройных логик, обладающих интерполяционным свойством Крейга CIP, ограниченным интерполяционным свойством IPR или проективным свойством Бета PBP. Доказывается, что логика JF не является надежно узнаваемой над J. Кроме того, устанавливается связь алгебраической семантики с модифицированнной семантикой Крипке, а также приводится критерий надежной узнаваемости в терминах характеристических формул.
Ключевые слова: минимальная логика Йохансона, узнаваемость, надежная узнаваемость, интерполяционное свойство, характеристическая формула.
Поступило: 27.06.2014
Англоязычная версия:
Algebra and Logic, 2015, Volume 54, Issue 2, Pages 167–182
DOI: https://doi.org/10.1007/s10469-015-9336-7
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
Образец цитирования: Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 54:2 (2015), 252–274; Algebra and Logic, 54:2 (2015), 167–182
Цитирование в формате AMSBIB
\RBibitem{MakYun15}
\by Л.~Л.~Максимова, В.~Ф.~Юн
\paper Узнаваемые логики
\jour Алгебра и логика
\yr 2015
\vol 54
\issue 2
\pages 252--274
\mathnet{http://mi.mathnet.ru/al691}
\crossref{https://doi.org/10.17377/alglog.2015.54.208}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3467214}
\transl
\jour Algebra and Logic
\yr 2015
\vol 54
\issue 2
\pages 167--182
\crossref{https://doi.org/10.1007/s10469-015-9336-7}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000359424500008}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84937676530}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al691
  • https://www.mathnet.ru/rus/al/v54/i2/p252
    • Эта публикация цитируется в следующих 18 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:355
    PDF полного текста:89
    Список литературы:61
    Первая страница:19
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024