RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Максимова Лариса Львовна

В базах данных Math-Net.Ru
Публикаций: 47
Научных статей: 41
Лекций и докладов: 1

Статистика просмотров:
Эта страница:2100
Страницы публикаций:12400
Полные тексты:2192
Списки литературы:708
профессор
доктор физико-математических наук (1986)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: математическая логика; универсальная алгебра; алгебраическая логика; модальные логики; неклассические логики; разрешимость.

Основные темы научной работы

Научная область: математическая логика, в частности, неклассические логики: релевантные, суперинтуиционистские, модальные, временные логики; алгебраическая логика, общая теория алгебраических систем. Решена проблема табличности в расширениях интуиционистской логики и в расширениях известной модальной логики S4. Найдено исчерпывающее описание суперинтуиционистских логик с интерполяционным свойством и с проективным свойством Бета. Доказана разрешимость проблем табличности и интерполяции в суперинтуиционистских и модальных исчислениях. Доказано, что все транзитивные модальные логики обладают свойством определимости по Бету. Напротив, темпоральные логики с линейным или с разветвленным временем не имеют ни интерполяционного свойства, ни свойства Бета.

Научная биография:

Окончила механико-математический факультет Новосибирского госуниверситета в 1965 г. (кафедра алгебры и математической логики). Кандидатская диссертация — 1968 г., научный руководитель — академик А. И. Мальцев. Докторская — 1986 г. Ведущий научный сотрудник Института математики СО РАН; профессор Новосибирского государственного университета. Имею более 110 публикаций.

   
Основные публикации:
  • Максимова Л. Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр // Алгебра и логика, т. 16(1977), с. 643–681.
  • Maksimova L. On variable separation in modal and superintuitionistic logics // Studia Logica, 55(1995), 99–112.
  • Maksimova L. Intuitionistic Logic and Implicit Definability // Annals of Pure and Applied Logic, 105(2000), 83–102.
  • Maksimova L. Strongly Decidable Properties of Modal and Intuitionistic Calculi // Logic Journal of IGPL, 8, no. 6(2000), 797–819.
  • И.А.Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. 4–е изд. М., Физматлит, 2001 (предыдущие издания — 1974, 1985, 1995 гг., венгерский перевод — 1988).

http://www.mathnet.ru/rus/person17992
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190575

Публикации в базе данных Math-Net.Ru
2019
1. Л. Л. Максимова, В. Ф. Юн, “Узнаваемость в предгейтинговых и стройных логиках”, Сиб. электрон. матем. изв., 16 (2019),  427–434  mathnet  isi
2018
2. Л. Л. Максимова, В. Ф. Юн, “Сильная вычислимость слоев над логикой $\mathrm{GL}$”, Сиб. электрон. матем. изв., 15 (2018),  35–47  mathnet  isi
3. Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 59:4 (2018),  863–878  mathnet  elib; L. L. Maksimova, V. F. Yun, “Extensions of the minimal logic and the interpolation problem”, Siberian Math. J., 59:4 (2018), 681–693  isi  scopus
2017
4. Л. Л. Максимова, В. Ф. Юн, “Сильная разрешимость и сильная узнаваемость”, Алгебра и логика, 56:5 (2017),  559–581  mathnet; L. L. Maksimova, V. F. Yun, “Strong decidability and strong recognizability”, Algebra and Logic, 56:5 (2017), 370–385  isi  scopus
5. Л. Л. Максимова, “Узнаваемые и различимые логики и многообразия”, Алгебра и логика, 56:3 (2017),  367–374  mathnet  mathscinet; L. L. Maksimova, “Recognizable and perceptible logics and varieties”, Algebra and Logic, 56:3 (2017), 245–250  isi  scopus
6. Л. Л. Максимова, В. Ф. Юн, “Слои и уровни расширений минимальной логики”, Сиб. матем. журн., 58:6 (2017),  1341–1353  mathnet  elib; L. L. Maksimova, V. F. Yun, “Slices and levels of extensions of the minimal logic”, Siberian Math. J., 58:6 (2017), 1042–1051  isi  scopus
2016
7. Л. Л. Максимова, В. Ф. Юн, “Слои над минимальной логикой”, Алгебра и логика, 55:4 (2016),  449–464  mathnet; L. L. Maksimova, V. F. Yun, “Layers over minimal logic”, Algebra and Logic, 55:4 (2016), 295–305  isi  scopus
8. Л. Л. Максимова, В. Ф. Юн, “Исчисления над минимальной логикой и невложимость алгебр”, Сиб. электрон. матем. изв., 13 (2016),  704–715  mathnet  isi
9. Л. Л. Максимова, В. Ф. Юн, “Проблема табличности над минимальной логикой”, Сиб. матем. журн., 57:6 (2016),  1320–1332  mathnet  elib; L. L. Maksimova, V. F. Yun, “The tabularity problem over the minimal logic”, Siberian Math. J., 57:6 (2016), 1034–1043  isi  scopus
10. Л. Л. Максимова, “Строение слоев над минимальной логикой”, Сиб. матем. журн., 57:5 (2016),  1078–1087  mathnet  elib; L. L. Maksimova, “The structure of slices over minimal logic”, Siberian Math. J., 57:5 (2016), 841–848  isi  elib  scopus
2015
11. Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 54:2 (2015),  252–274  mathnet  mathscinet; L. L. Maksimova, V. F. Yun, “Recognizable logics”, Algebra and Logic, 54:2 (2015), 167–182  isi  scopus
12. Л. Л. Максимова, В. Ф. Юн, “WIP-минимальные логики и интерполяция”, Сиб. электрон. матем. изв., 12 (2015),  7–20  mathnet
13. Л. Л. Максимова, В. Ф. Юн, “Интерполяция над минимальной логикой и интервалы Одинцова”, Сиб. матем. журн., 56:3 (2015),  600–616  mathnet  mathscinet  elib; L. L. Maksimova, V. F. Yun, “Interpolation over the minimal logic and Odintsov intervals”, Siberian Math. J., 56:3 (2015), 476–489  isi  elib  scopus
2014
14. Л. Л. Максимова, “Негативная эквивалентность над минимальной логикой и интерполяция”, Сиб. электрон. матем. изв., 11 (2014),  1–17  mathnet
15. Л. Л. Максимова, “Свойство Линдона и униформная интерполяция над логикой Гжегорчика”, Сиб. матем. журн., 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  isi  elib  scopus
2013
16. Л. Л. Максимова, “Ограниченная интерполяция над модальной логикой $\mathrm S4$”, Алгебра и логика, 52:4 (2013),  461–501  mathnet  mathscinet; L. L. Maksimova, “Restricted interpolation over modal logic $\mathrm S4$”, Algebra and Logic, 52:4 (2013), 308–335  isi  scopus
17. Л. Л. Максимова, “Проективное свойство Бета в стройных логиках”, Алгебра и логика, 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  isi  scopus
18. Л. Л. Максимова, “Классификация расширений модальной логики S4”, Сиб. матем. журн., 54:6 (2013),  1337–1352  mathnet  mathscinet; L. L. Maksimova, “Classification of extensions of the modal logic S4”, Siberian Math. J., 54:6 (2013), 1064–1075  isi  scopus
2012
19. Л. Л. Максимова, “Интерполяция и проективное свойство Бета в стройных логиках”, Алгебра и логика, 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  isi  scopus
20. Л. Л. Максимова, “Разрешимость интерполяционного свойства Крейга в стройных $\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  isi  scopus
2011
21. Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 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  isi  scopus
22. Л. Л. Максимова, “Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр”, Совр. пробл. матем., 15 (2011),  15–39  mathnet  elib; L. L. Maksimova, “Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras”, Proc. Steklov Inst. Math., 278, suppl. 1 (2012), S66–S90  isi  scopus
2010
23. А. В. Карпенко, Л. Л. Максимова, “Простые слабо транзитивные модальные алгебры”, Алгебра и логика, 49:3 (2010),  346–365  mathnet  mathscinet  zmath; A. V. Karpenko, L. L. Maksimova, “Simple weakly transitive modal algebras”, Algebra and Logic, 49:3 (2010), 233–245  scopus
24. Л. Л. Максимова, “Совместная непротиворечивость в расширениях минимальной логики”, Сиб. матем. журн., 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  isi  scopus
2009
25. Л. Л. Максимова, “Разрешимость проблемы интерполяции и родственных свойств в табличных логиках”, Алгебра и логика, 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  isi  scopus
26. Л. Л. Максимова, “Ограниченное интерполяционное свойство в суперинтуиционистских логиках”, Алгебра и логика, 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  isi  scopus
2008
27. Л. Л. Максимова, Е. Орловска, “Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках”, Алгебра и логика, 47:3 (2008),  307–334  mathnet  mathscinet  zmath; L. L. Maksimova, E. Orlowska, “The Beth property and interpolation in lattice-based algebras and logics”, Algebra and Logic, 47:3 (2008), 176–192  scopus
28. Л. Л. Максимова, “Слабая форма интерполяции в эквациональной логике”, Алгебра и логика, 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  isi  scopus
2007
29. Л. Л. Максимова, “Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики”, Алгебра и логика, 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  isi  scopus
2006
30. Л. Л. Максимова, “Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках”, Алгебра и логика, 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  scopus
31. Л. Л. Максимова, П. А. Шрайнер, “Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  49–58  mathnet
2005
32. Л. Л. Максимова, “Интерполяция и определимость в расширениях минимальной логики”, Алгебра и логика, 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  scopus
2004
33. Л. Л. Максимова, “Определимость в нормальных расширениях логики S4”, Алгебра и логика, 43:4 (2004),  387–410  mathnet  mathscinet  zmath; L. L. Maksimova, “Definability in Normal Extensions of S4”, Algebra and Logic, 43:4 (2004), 217–229  scopus
2003
34. Л. Л. Максимова, “Ограниченная интерполяция и проективное свойство Бета в эквациональной логике”, Алгебра и логика, 42:6 (2003),  712–726  mathnet  mathscinet; L. L. Maksimova, “Restricted Interpolation and the Projective Beth Property in Equational Logic”, Algebra and Logic, 42:6 (2003), 398–406  scopus
35. Л. Л. Максимова, “Неявная определимость и позитивные логики”, Алгебра и логика, 42:1 (2003),  65–93  mathnet  mathscinet  zmath; L. L. Maksimova, “Implicit Definability and Positive Logics”, Algebra and Logic, 42:1 (2003), 37–53  scopus
2001
36. Л. Л. Максимова, “Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр”, Алгебра и логика, 40:3 (2001),  290–301  mathnet  mathscinet  zmath; L. L. Maksimova, “Decidability of the Projective Beth Property in Varieties of Heyting Algebras”, Algebra and Logic, 40:3 (2001), 159–165  scopus
1997
37. Л. Л. Максимова, “Явные определения неявно определимых объектов в некоторых модальных логиках”, Сиб. матем. журн., 38:3 (1997),  598–602  mathnet  mathscinet  zmath; L. L. Maksimova, “Explicit definitions of implicitly definable objects in some modal logics”, Siberian Math. J., 38:3 (1997), 513–517  isi
1992
38. Л. Л. Максимова, “Аналог теоремы Бета в нормальных расширениях модальной логики К4”, Сиб. матем. журн., 33:6 (1992),  118–130  mathnet  mathscinet  zmath; L. L. Maksimova, “An analog of Beth's theorem in normal extensions of the modal logic K4”, Siberian Math. J., 33:6 (1992), 1052–1065  isi
1979
39. Л. Л. Максимова, Д. П. Скворцов, В. Б. Шехтман, “Невозможность конечной аксиоматизации логики финитных задач Медведева”, Докл. АН СССР, 245:5 (1979),  1051–1054  mathnet  mathscinet  zmath
1977
40. Л. Л. Максимова, “Интерполяционная теорема Крейга и амальгамируемые многообразия”, Докл. АН СССР, 237:6 (1977),  1281–1284  mathnet  mathscinet  zmath
1975
41. Л. Л. Максимова, “О тавтологиях $\omega^+$-значной логики”, Матем. заметки, 17:6 (1975),  947–955  mathnet  mathscinet  zmath; L. L. Maksimova, “On tautologies in $\omega^+$-valued logic”, Math. Notes, 17:6 (1975), 568–573
1967
42. Л. Л. Максимова, “Некоторые вопросы исчисления Аккермана”, Докл. АН СССР, 175:6 (1967),  1222–1224  mathnet  mathscinet  zmath

2019
43. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019),  1–10  mathnet  isi
2015
44. С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015),  477–480  mathnet  mathscinet
2013
45. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013),  30–34  mathnet
2011
46. А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 66:1(397) (2011),  201–204  mathnet  mathscinet  zmath  elib; A. A. Borovkov, S. K. Godunov, S. S. Goncharov, A. N. Konovalov, I. A. Lavrov, V. D. Mazurov, L. L. Maksimova, A. A. Mal'tsev, B. G. Mikhailenko, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, Yu. G. Reshetnyak, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Russian Math. Surveys, 66:1 (2011), 199–203  isi
47. Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров, “Сергей Савостьянович Гончаров (к 60-летию со дня рождения)”, Сиб. матем. журн., 52:5 (2011),  959–961  mathnet  mathscinet
1990
48. С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 45:5(275) (1990),  171–173  mathnet  mathscinet; S. S. Goncharov, Yu. L. Ershov, M. M. Lavrent'ev, L. L. Maksimova, T. G. Mustafin, S. P. Novikov, E. A. Palyutin, M. G. Peretyat'kin, Yu. G. Reshetnyak, D. M. Smirnov, “Asan Dabsovich Taimanov (obituary)”, Russian Math. Surveys, 45:5 (1990), 213–215  isi

Доклады и лекции в базе данных Math-Net.Ru
1. Weak interpolation property over the minimal logic
Larisa Maksimova
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
27 августа 2010 г. 15:00   

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