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

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

Статистика просмотров:
Эта страница:1784
Страницы публикаций:11747
Полные тексты:1978
Списки литературы:698
профессор
доктор физико-математических наук (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
1. Сильная вычислимость слоев над логикой $\mathrm{GL}$
Л. Л. Максимова, В. Ф. Юн
Сиб. электрон. матем. изв., 15 (2018),  35–47
2. Расширения минимальной логики и проблема интерполяции
Л. Л. Максимова, В. Ф. Юн
Сиб. матем. журн., 59:4 (2018),  863–878
3. Сильная разрешимость и сильная узнаваемость
Л. Л. Максимова, В. Ф. Юн
Алгебра и логика, 56:5 (2017),  559–581
4. Узнаваемые и различимые логики и многообразия
Л. Л. Максимова
Алгебра и логика, 56:3 (2017),  367–374
5. Слои и уровни расширений минимальной логики
Л. Л. Максимова, В. Ф. Юн
Сиб. матем. журн., 58:6 (2017),  1341–1353
6. Слои над минимальной логикой
Л. Л. Максимова, В. Ф. Юн
Алгебра и логика, 55:4 (2016),  449–464
7. Исчисления над минимальной логикой и невложимость алгебр
Л. Л. Максимова, В. Ф. Юн
Сиб. электрон. матем. изв., 13 (2016),  704–715
8. Проблема табличности над минимальной логикой
Л. Л. Максимова, В. Ф. Юн
Сиб. матем. журн., 57:6 (2016),  1320–1332
9. Строение слоев над минимальной логикой
Л. Л. Максимова
Сиб. матем. журн., 57:5 (2016),  1078–1087
10. Узнаваемые логики
Л. Л. Максимова, В. Ф. Юн
Алгебра и логика, 54:2 (2015),  252–274
11. WIP-минимальные логики и интерполяция
Л. Л. Максимова, В. Ф. Юн
Сиб. электрон. матем. изв., 12 (2015),  7–20
12. Интерполяция над минимальной логикой и интервалы Одинцова
Л. Л. Максимова, В. Ф. Юн
Сиб. матем. журн., 56:3 (2015),  600–616
13. Негативная эквивалентность над минимальной логикой и интерполяция
Л. Л. Максимова
Сиб. электрон. матем. изв., 11 (2014),  1–17
14. Свойство Линдона и униформная интерполяция над логикой Гжегорчика
Л. Л. Максимова
Сиб. матем. журн., 55:1 (2014),  147–155
15. Ограниченная интерполяция над модальной логикой $\mathrm S4$
Л. Л. Максимова
Алгебра и логика, 52:4 (2013),  461–501
16. Проективное свойство Бета в стройных логиках
Л. Л. Максимова
Алгебра и логика, 52:2 (2013),  172–202
17. Классификация расширений модальной логики S4
Л. Л. Максимова
Сиб. матем. журн., 54:6 (2013),  1337–1352
18. Интерполяция и проективное свойство Бета в стройных логиках
Л. Л. Максимова
Алгебра и логика, 51:2 (2012),  244–275
19. Разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках
Л. Л. Максимова
Сиб. матем. журн., 53:5 (2012),  1048–1064
20. Разрешимость слабого интерполяционного свойства над минимальной логикой
Л. Л. Максимова
Алгебра и логика, 50:2 (2011),  152–188
21. Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр
Л. Л. Максимова
Совр. пробл. матем., 15 (2011),  15–39
22. Простые слабо транзитивные модальные алгебры
А. В. Карпенко, Л. Л. Максимова
Алгебра и логика, 49:3 (2010),  346–365
23. Совместная непротиворечивость в расширениях минимальной логики
Л. Л. Максимова
Сиб. матем. журн., 51:3 (2010),  604–619
24. Разрешимость проблемы интерполяции и родственных свойств в табличных логиках
Л. Л. Максимова
Алгебра и логика, 48:6 (2009),  754–792
25. Ограниченное интерполяционное свойство в суперинтуиционистских логиках
Л. Л. Максимова
Алгебра и логика, 48:1 (2009),  54–89
26. Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках
Л. Л. Максимова, Е. Орловска
Алгебра и логика, 47:3 (2008),  307–334
27. Слабая форма интерполяции в эквациональной логике
Л. Л. Максимова
Алгебра и логика, 47:1 (2008),  94–107
28. Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики
Л. Л. Максимова
Алгебра и логика, 46:5 (2007),  627–648
29. Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках
Л. Л. Максимова
Алгебра и логика, 45:1 (2006),  85–113
30. Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления
Л. Л. Максимова, П. А. Шрайнер
Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  49–58
31. Интерполяция и определимость в расширениях минимальной логики
Л. Л. Максимова
Алгебра и логика, 44:6 (2005),  726–750
32. Определимость в нормальных расширениях логики S4
Л. Л. Максимова
Алгебра и логика, 43:4 (2004),  387–410
33. Ограниченная интерполяция и проективное свойство Бета в эквациональной логике
Л. Л. Максимова
Алгебра и логика, 42:6 (2003),  712–726
34. Неявная определимость и позитивные логики
Л. Л. Максимова
Алгебра и логика, 42:1 (2003),  65–93
35. Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр
Л. Л. Максимова
Алгебра и логика, 40:3 (2001),  290–301
36. Явные определения неявно определимых объектов в некоторых модальных логиках
Л. Л. Максимова
Сиб. матем. журн., 38:3 (1997),  598–602
37. Аналог теоремы Бета в нормальных расширениях модальной логики К4
Л. Л. Максимова
Сиб. матем. журн., 33:6 (1992),  118–130
38. О тавтологиях $\omega^+$-значной логики
Л. Л. Максимова
Матем. заметки, 17:6 (1975),  947–955
39. Некоторые вопросы исчисления Аккермана
Л. Л. Максимова
Докл. АН СССР, 175:6 (1967),  1222–1224

40. Юрий Леонидович Ершов (к 75-летию со дня рождения)
С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро
Сиб. матем. журн., 56:3 (2015),  477–480
41. Сергей Ильич Мардаев (6.04.1962–10.04.2013)
П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин
Сиб. электрон. матем. изв., 10 (2013),  30–34
42. Юрий Леонидович Ершов (к семидесятилетию со дня рождения)
А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк
УМН, 66:1(397) (2011),  201–204
43. Сергей Савостьянович Гончаров (к 60-летию со дня рождения)
Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров
Сиб. матем. журн., 52:5 (2011),  959–961
44. Тайманов Асан Дабсович (некролог)
С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов
УМН, 45:5(275) (1990),  171–173

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

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