Максимова, Лариса Львовна
Лариса Львовна Максимова | |
---|---|
Дата рождения | 5 ноября 1943 (80 лет) |
Место рождения | |
Страна | СССР→ Россия |
Научная сфера | математическая логика |
Место работы | |
Альма-матер | |
Учёная степень | доктор физико-математических наук (1986) |
Учёное звание | профессор |
Научный руководитель | А. И. Мальцев |
Награды и премии |
Лариса Львовна Максимова — математик, специалист в области математической логики, лауреат премии имени А. И. Мальцева (2009).
Биография
В 1965 году — окончила механико-математический факультет НГУ.
В 1968 году — защитила кандидатскую диссертацию (научный руководитель — академик А. И. Мальцев).
В 1986 году — защитила докторскую диссертацию.
Главный научный сотрудник Института математики СО РАН; профессор Новосибирского государственного университета.
Научная деятельность
Научная область: математическая логика, в частности, неклассические логики: релевантные, суперинтуиционистские, модальные, временные логики; алгебраическая логика, общая теория алгебраических систем.
Решена проблема табличности в расширениях интуиционистской логики и в расширениях известной модальной логики S4.
Найдено исчерпывающее описание суперинтуиционистских логик с интерполяционным свойством и с проективным свойством Бета.
Доказана разрешимость проблем табличности и интерполяции в суперинтуиционистских и модальных исчислениях.
Доказано, что все транзитивные модальные логики обладают свойством определимости по Бету. Напротив, темпоральные логики с линейным или с разветвленным временем не имеют ни интерполяционного свойства, ни свойства Бета.
Основные публикации
- Максимова Л. Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр // Алгебра и логика, т. 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).
Награды
- Премия имени А. И. Мальцева (2009) — за серию научных работ «Неявная определимость и интерполяция в неклассических логиках»
- Премия Жизнь, посвящённая математике (2014)
Ссылки
- Максимова, Лариса Львовна на официальном сайте РАН
- Максимова, Лариса Львовна на математическом портале Math-Net.Ru
- Персональная страница на сайте Фотоархив СО РАН
Это заготовка статьи об учёном. Помогите Википедии, дополнив её. |
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- Родившиеся 5 ноября
- Родившиеся в 1943 году
- Родившиеся в Коченёвском районе
- Сотрудники Института математики СО РАН
- Преподаватели Новосибирского государственного университета
- Выпускники механико-математического факультета Новосибирского государственного университета
- Выпускники Новосибирского государственного университета
- Доктора физико-математических наук
- Лауреаты премии имени А. И. Мальцева
- Лауреаты премии Правительства РФ в области образования
- Персоналии по алфавиту
- Учёные по алфавиту
- Математики по алфавиту
- Математики России
- Математики СССР
- Математики XX века
- Математики XXI века