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

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

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



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






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


Алгебра и логика, 1977, том 16, номер 6, страницы 643–681 (Mi al1584)  

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

Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр

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


Аннотация: Доказывается, что интерполяционная теорема Крейга в суперинтуиционистской логике эквивалентна любому из следующих свойств соответствующего многообразия псевдобулевых алгебр: интерполяционному принципу для равенств, интерполяционному принципу для неравенств, амальгамируемости, сверхамальгамируемости, сильной амальгамируемости, слабой амальгамируемости. Описаны все амальгамируемые многообразия псевдобулевых алгебр; их оказалось восемь. Как следствие разрешима проблема истинности теоремы Крейга в суперинтуиционистских конечно-аксиоматизируемых логиках.

Полный текст: PDF файл (22207 kB)

Реферативные базы данных:
Тип публикации: Статья
УДК: 517.11:512.57
Поступило: 03.07.1977

Образец цитирования: Л. Л. Максимова, “Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр”, Алгебра и логика, 16:6 (1977), 643–681

Цитирование в формате AMSBIB
\RBibitem{Mak77}
\by Л.~Л.~Максимова
\paper Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр
\jour Алгебра и логика
\yr 1977
\vol 16
\issue 6
\pages 643--681
\mathnet{http://mi.mathnet.ru/al1584}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=516426}


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

    ОТПРАВИТЬ: 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. Л. Л. Максимова, “Неявная определимость и позитивные логики”, Алгебра и логика, 42:1 (2003), 65–93  mathnet  mathscinet  zmath; L. L. Maksimova, “Implicit Definability and Positive Logics”, Algebra and Logic, 42:1 (2003), 37–53  crossref
    2. Л. Л. Максимова, “Интерполяция и определимость в расширениях минимальной логики”, Алгебра и логика, 44:6 (2005), 726–750  mathnet  mathscinet  zmath; L. L. Maksimova, “Interpolation and Definability in Extensions of the Minimal Logic”, Algebra and Logic, 44:6 (2005), 407–421  crossref
    3. Л. Л. Максимова, “Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках”, Алгебра и логика, 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
    4. С. П. Одинцов, “Теоремы переноса для расширений паранепротиворечивой логики Нельсона”, Алгебра и логика, 45:4 (2006), 409–435  mathnet  mathscinet  zmath; S. P. Odintsov, “Transfer Theorems for Extensions of the Paraconsistent Nelson Logic”, Algebra and Logic, 45:4 (2006), 232–247  crossref
    5. Л. Л. Максимова, П. А. Шрайнер, “Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 49–58  mathnet
    6. Л. Л. Максимова, “Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики”, Алгебра и логика, 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
    7. Л. Л. Максимова, “Слабая форма интерполяции в эквациональной логике”, Алгебра и логика, 47:1 (2008), 94–107  mathnet  mathscinet  zmath; L. L. Maksimova, “A weak form of interpolation in equational logic”, Algebra and Logic, 47:1 (2008), 56–64  crossref  isi
    8. Л. Л. Максимова, “Ограниченное интерполяционное свойство в суперинтуиционистских логиках”, Алгебра и логика, 48:1 (2009), 54–89  mathnet  mathscinet  zmath; L. L. Maksimova, “Restricted interpolation property in superintuitionistic logics”, Algebra and Logic, 48:1 (2009), 33–53  crossref  isi
    9. Л. Л. Максимова, “Разрешимость проблемы интерполяции и родственных свойств в табличных логиках”, Алгебра и логика, 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
    10. Л. Л. Максимова, “Совместная непротиворечивость в расширениях минимальной логики”, Сиб. матем. журн., 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
    11. Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 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
    12. Л. Л. Максимова, “Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр”, Конференция «Мальцевские чтения», Совр. пробл. матем., 15, МИАН, М., 2011, 15–39  mathnet  crossref  elib; L. L. Maksimova, “Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras”, Proc. Steklov Inst. Math., 278, suppl. 1 (2012), S66–S90  crossref  isi
    13. Л. Л. Максимова, “Интерполяция и проективное свойство Бета в стройных логиках”, Алгебра и логика, 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
    14. Л. Л. Максимова, “Разрешимость интерполяционного свойства Крейга в стройных $\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
    15. Л. Л. Максимова, “Проективное свойство Бета в стройных логиках”, Алгебра и логика, 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
    16. Л. Л. Максимова, “Негативная эквивалентность над минимальной логикой и интерполяция”, Сиб. электрон. матем. изв., 11 (2014), 1–17  mathnet
    17. Л. Л. Максимова, “Свойство Линдона и униформная интерполяция над логикой Гжегорчика”, Сиб. матем. журн., 55:1 (2014), 147–155  mathnet  mathscinet  elib; L. L. Maksimova, “The Lyndon property and uniform interpolation over the Grzegorczyk logic”, Siberian Math. J., 55:1 (2014), 118–124  crossref  isi  elib
    18. Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 54:2 (2015), 252–274  mathnet  crossref  mathscinet; L. L. Maksimova, V. F. Yun, “Recognizable logics”, Algebra and Logic, 54:2 (2015), 167–182  crossref  isi
    19. Л. Л. Максимова, В. Ф. Юн, “WIP-минимальные логики и интерполяция”, Сиб. электрон. матем. изв., 12 (2015), 7–20  mathnet  crossref
    20. Л. Л. Максимова, В. Ф. Юн, “Интерполяция над минимальной логикой и интервалы Одинцова”, Сиб. матем. журн., 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
    21. Л. Л. Максимова, В. Ф. Юн, “Слои над минимальной логикой”, Алгебра и логика, 55:4 (2016), 449–464  mathnet  crossref; L. L. Maksimova, V. F. Yun, “Layers over minimal logic”, Algebra and Logic, 55:4 (2016), 295–305  crossref  isi
    22. Л. Л. Максимова, “Узнаваемые и различимые логики и многообразия”, Алгебра и логика, 56:3 (2017), 367–374  mathnet  crossref  mathscinet; L. L. Maksimova, “Recognizable and perceptible logics and varieties”, Algebra and Logic, 56:3 (2017), 245–250  crossref  isi
    23. Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 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  elib
    24. Л. Л. Максимова, В. Ф. Юн, “Проблема интерполяции в конечнослойных предгейтинговых логиках”, Алгебра и логика, 58:2 (2019), 210–228  mathnet  crossref; L. L. Maksimova, V. F. Yun, “The interpolation problem in finite-layered pre-Heyting logics”, Algebra and Logic, 58:2 (2019), 144–157  crossref  isi
    25. Л. Л. Максимова, “Конструктивные классификации модальных логик и расширений минимальной логики”, Алгебра и логика, 58:6 (2019), 808–814  mathnet  crossref; L. L. Maksimova, “Constructive classifications of modal logics and extensions of minimal logic”, Algebra and Logic, 58:6 (2020), 540–545  crossref  isi
    26. Moraschini T. Wannenburg J.J., “Epimorphism Surjectivity in Varieties of Heyting Algebras”, Ann. Pure Appl. Log., 171:9 (2020), 102824  crossref  mathscinet  zmath  isi  scopus
    27. Л. Л. Максимова, В. Ф. Юн, “Гибридные расширения минимальной логики”, Сиб. матем. журн., 62:5 (2021), 1084–1090  mathnet  crossref
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:16
    Полный текст:5
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022