Максимова, Лариса Львовна

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Лариса Львовна Максимова
Дата рождения 5 ноября 1943(1943-11-05) (74 года)
Страна Flag of the Soviet Union.svg СССРFlag of Russia.svg Россия
Научная сфера математическая логика
Место работы
Альма-матер
Учёная степень доктор физико-математических наук (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).

Награды[править | править код]

Ссылки[править | править код]