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

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

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



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






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


Алгебра и логика, 2005, том 44, номер 6, страницы 726–750 (Mi al138)  

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

Интерполяция и определимость в расширениях минимальной логики

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

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Исследуются интерполяционное свойство и проективное свойство Бета в расширениях минимальной логики Йохансона. Рассматривается семейство логик некоторого специального вида. Находятся эффективные критерии, позволяющие проверить, обладает ли произвольная логика из этого семейства заданным свойством.

Ключевые слова: интерполяционное свойство, проективное свойство Бета, минимальная логика Йохансона, расширение логики

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

Англоязычная версия:
Algebra and Logic, 2005, 44:6, 407–421

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

УДК: 510.64
Поступило: 05.01.2005

Образец цитирования: Л. Л. Максимова, “Интерполяция и определимость в расширениях минимальной логики”, Алгебра и логика, 44:6 (2005), 726–750; Algebra and Logic, 44:6 (2005), 407–421

Цитирование в формате AMSBIB
\RBibitem{Mak05}
\by Л.~Л.~Максимова
\paper Интерполяция и определимость в~расширениях минимальной логики
\jour Алгебра и логика
\yr 2005
\vol 44
\issue 6
\pages 726--750
\mathnet{http://mi.mathnet.ru/al138}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2213303}
\zmath{https://zbmath.org/?q=an:1106.03023}
\transl
\jour Algebra and Logic
\yr 2005
\vol 44
\issue 6
\pages 407--421
\crossref{https://doi.org/10.1007/s10469-005-0038-4}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-28644451607}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al138
  • http://mi.mathnet.ru/rus/al/v44/i6/p726

    ОТПРАВИТЬ: 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. Л. Л. Максимова, “Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках”, Алгебра и логика, 45:1 (2006), 85–113  mathnet  mathscinet  zmath; L. L. Maksimova, “The Projective Beth Property and Interpolation in Positive and Related Logics”, Algebra and Logic, 45:1 (2006), 49–66  crossref
    2. Л. Л. Максимова, “Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики”, Алгебра и логика, 46:5 (2007), 627–648  mathnet  mathscinet  zmath; L. L. Maksimova, “A method of proving interpolation in paraconsistent extensions of the minimal logic”, Algebra and Logic, 46:5 (2007), 341–353  crossref  isi
    3. Л. Л. Максимова, “Разрешимость проблемы интерполяции и родственных свойств в табличных логиках”, Алгебра и логика, 48:6 (2009), 754–792  mathnet  mathscinet  zmath; L. L. Maksimova, “Decidability of the interpolation problem and of related properties in tabular logics”, Algebra and Logic, 48:6 (2009), 426–448  crossref  isi
    4. Л. Л. Максимова, “Совместная непротиворечивость в расширениях минимальной логики”, Сиб. матем. журн., 51:3 (2010), 604–619  mathnet  mathscinet  zmath; L. L. Maksimova, “Joint consistency in extensions of the minimal logic”, Siberian Math. J., 51:3 (2010), 479–490  crossref  isi
    5. Maksimova L., “Problem of restricted interpolation in superintuitionistic and some modal logics”, Log. J. Igpl, 18:3 (2010), 367–380  crossref  mathscinet  zmath  isi  scopus
    6. Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 50:2 (2011), 152–188  mathnet  mathscinet  zmath; L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic”, Algebra and Logic, 50:2 (2011), 106–132  crossref  isi
    7. Maksimova L., “Interpolation and Definability Over the Logic Gl”, Stud. Log., 99:1-3, SI (2011), 249–267  crossref  mathscinet  zmath  isi  elib  scopus
    8. Л. Л. Максимова, “Интерполяция и проективное свойство Бета в стройных логиках”, Алгебра и логика, 51:2 (2012), 244–275  mathnet  mathscinet  zmath; L. L. Maksimova, “Interpolation and the projective Beth property in well-composed logics”, Algebra and Logic, 51:2 (2012), 163–184  crossref  isi
    9. Л. Л. Максимова, “Разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках”, Сиб. матем. журн., 53:5 (2012), 1048–1064  mathnet  mathscinet; L. L. Maksimova, “The decidability of craig's interpolation property in well-composed $\mathrm J$-logics”, Siberian Math. J., 53:5 (2012), 839–852  crossref  isi
    10. Л. Л. Максимова, “Проективное свойство Бета в стройных логиках”, Алгебра и логика, 52:2 (2013), 172–202  mathnet  mathscinet; L. L. Maksimova, “The projective Beth property in well-composed logics”, Algebra and Logic, 52:2 (2013), 116–136  crossref  isi
    11. Л. Л. Максимова, “Негативная эквивалентность над минимальной логикой и интерполяция”, Сиб. электрон. матем. изв., 11 (2014), 1–17  mathnet
    12. Л. Л. Максимова, В. Ф. Юн, “Интерполяция над минимальной логикой и интервалы Одинцова”, Сиб. матем. журн., 56:3 (2015), 600–616  mathnet  crossref  mathscinet  elib; L. L. Maksimova, V. F. Yun, “Interpolation over the minimal logic and Odintsov intervals”, Siberian Math. J., 56:3 (2015), 476–489  crossref  isi  elib
    13. Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 59:4 (2018), 863–878  mathnet  crossref; L. L. Maksimova, V. F. Yun, “Extensions of the minimal logic and the interpolation problem”, Siberian Math. J., 59:4 (2018), 681–693  crossref  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:205
    Полный текст:56
    Литература:19
    Первая стр.:1

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019