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

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

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



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






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


Алгебра и логика, 2010, том 49, номер 3, страницы 346–365 (Mi al443)  

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

Простые слабо транзитивные модальные алгебры

А. В. Карпенкоa, Л. Л. Максимоваba

a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Изучаются слабо транзитивные модальные алгебры. Доказывается, что класс простых слабо транзитивных алгебр совпадает с классом простых $DL$-алгебр, даётся полное описание конечно порождённых простых $DL$-алгебр и их вложений. Как следствие, показывается, что многообразия слабо транзитивных алгебр и $DL$-алгебр не являются слабо амальгамируемыми, а модальные логики $wK4$ и $DL$ не обладают слабым интерполяционным свойством.

Ключевые слова: слабо транзитивная модальная алгебра, $DL$-алгебра, слабо амальгамируемое многообразие, слабое интерполяционное свойство.

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

Англоязычная версия:
Algebra and Logic, 2010, 49:3, 233–245

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

Тип публикации: Статья
УДК: 512.563+510.6+510.5
Поступило: 07.04.2009
Окончательный вариант: 01.09.2009

Образец цитирования: А. В. Карпенко, Л. Л. Максимова, “Простые слабо транзитивные модальные алгебры”, Алгебра и логика, 49:3 (2010), 346–365; Algebra and Logic, 49:3 (2010), 233–245

Цитирование в формате AMSBIB
\RBibitem{KarMak10}
\by А.~В.~Карпенко, Л.~Л.~Максимова
\paper Простые слабо транзитивные модальные алгебры
\jour Алгебра и логика
\yr 2010
\vol 49
\issue 3
\pages 346--365
\mathnet{http://mi.mathnet.ru/al443}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2766393}
\zmath{https://zbmath.org/?q=an:1255.03060}
\transl
\jour Algebra and Logic
\yr 2010
\vol 49
\issue 3
\pages 233--245
\crossref{https://doi.org/10.1007/s10469-010-9092-7}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-77955662750}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al443
  • http://mi.mathnet.ru/rus/al/v49/i3/p346

    ОТПРАВИТЬ: 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. А. В. Карпенко, “Интерполяционные свойства в расширениях логики неравенства”, Сиб. матем. журн., 51:3 (2010), 553–568  mathnet  mathscinet  zmath; A. V. Karpenko, “Interpolation properties in the extensions of the logic of inequality”, Siberian Math. J., 51:3 (2010), 439–451  crossref  isi
    2. А. В. Карпенко, “Интерполяция в слабо транзитивных модальных логиках”, Алгебра и логика, 51:2 (2012), 197–215  mathnet  mathscinet  zmath; A. V. Karpenko, “Interpolation in weakly transitive modal logics”, Algebra and Logic, 51:2 (2012), 131–143  crossref  isi
    3. Karpenko A., “Decidability of Some Interpolation Properties For Weakly Transitive Modal Logics”, Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic, 15, ed. Odintsov S., Springer, 2018, 171–183  crossref  mathscinet  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:315
    Полный текст:78
    Литература:36
    Первая стр.:9
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020