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

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

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



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






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


Сиб. матем. журн., 2014, том 55, номер 1, страницы 147–155 (Mi smj2520)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Свойство Линдона и униформная интерполяция над логикой Гжегорчика

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

Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090

Аннотация: Рассматриваются варианты интерполяционного свойства, более сильные, чем интерполяционное свойство Крейга CIP. Доказывается интерполяционное свойство Линдона LIP для логики Гжегорчика Grz и некоторых ее расширений. Также установлено LIP для большинства расширений интуиционистской логики c CIP. Для всех модальных логик над логикой Grz, а также для всех суперинтуиционистских логик униформное интерполяционное свойство UIP равносильно свойству Крейга.

Ключевые слова: униформная интерполяция, интерполяционное свойство Линдона, модальная логика, интуиционистская логика, логика Гжегорчика.

Полный текст: PDF файл (282 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Siberian Mathematical Journal, 2014, 55:1, 118–124

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.64
Статья поступила: 17.12.2012

Образец цитирования: Л. Л. Максимова, “Свойство Линдона и униформная интерполяция над логикой Гжегорчика”, Сиб. матем. журн., 55:1 (2014), 147–155; Siberian Math. J., 55:1 (2014), 118–124

Цитирование в формате AMSBIB
\RBibitem{Mak14}
\by Л.~Л.~Максимова
\paper Свойство Линдона и униформная интерполяция над логикой Гжегорчика
\jour Сиб. матем. журн.
\yr 2014
\vol 55
\issue 1
\pages 147--155
\mathnet{http://mi.mathnet.ru/smj2520}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3220593}
\elib{http://elibrary.ru/item.asp?id=21295288}
\transl
\jour Siberian Math. J.
\yr 2014
\vol 55
\issue 1
\pages 118--124
\crossref{https://doi.org/10.1134/S0037446614010145}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000332453900014}
\elib{http://elibrary.ru/item.asp?id=21866882}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84894824640}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/smj2520
  • http://mi.mathnet.ru/rus/smj/v55/i1/p147

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Yu. Savateev, D. Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springler, 2017, 321–335  crossref  mathscinet  zmath  isi  scopus
  • Сибирский математический журнал Siberian Mathematical Journal
    Просмотров:
    Эта страница:164
    Полный текст:47
    Литература:27
    Первая стр.:10
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020