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

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

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


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




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

Алгебра и логика, 2004, том 43, номер 4, страницы 387–410 (Mi al79)  
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)

Определимость в нормальных расширениях логики S4

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

Институт математики им. С. Л. Соболева СО РАН
PDF полного текста (242 kB) Список цитирования (8)
Список литературы:
PDF
HTML
Аннотация: Исследуется проективное свойство Бета PB2 в нормальных модальных логиках, расширяющих логику S4. Находится удобный критерий справедливости свойства PB2 для более широкого семейства расширений логики K4. Дается описание всех локально табличных расширений логики Гжегорчика со свойством PB2. Находятся суперинтуиционистские логики с проективным свойством Бета, не имеющие модальных напарников с этим свойством.
Ключевые слова: модальная логика, логика Гжегорчика, суперинтуиционистская логика, локально табличное расширение, проективное свойство Бета.
Поступило: 16.04.2003
Англоязычная версия:
Algebra and Logic, 2004, Volume 43, Issue 4, Pages 217–229
DOI: https://doi.org/10.1023/B:ALLO.0000035113.06412.22
Реферативные базы данных:
УДК: 510.64
Образец цитирования: Л. Л. Максимова, “Определимость в нормальных расширениях логики S4”, Алгебра и логика, 43:4 (2004), 387–410; Algebra and Logic, 43:4 (2004), 217–229
Цитирование в формате AMSBIB
\RBibitem{Mak04}
\by Л.~Л.~Максимова
\paper Определимость в~нормальных расширениях логики S4
\jour Алгебра и логика
\yr 2004
\vol 43
\issue 4
\pages 387--410
\mathnet{http://mi.mathnet.ru/al79}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2105845}
\zmath{https://zbmath.org/?q=an:1115.03018}
\transl
\jour Algebra and Logic
\yr 2004
\vol 43
\issue 4
\pages 217--229
\crossref{https://doi.org/10.1023/B:ALLO.0000035113.06412.22}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-42249087945}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al79
  • https://www.mathnet.ru/rus/al/v43/i4/p387
    • Эта публикация цитируется в следующих 8 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:384
    PDF полного текста:264
    Список литературы:85
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024