RUS  ENG
Полная версия
ПЕРСОНАЛИИ
Максимова Лариса Львовна
(1943–2025)
профессор
доктор физико-математических наук (1986)

Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 5.11.1943
Ключевые слова: математическая логика, универсальная алгебра, алгебраическая логика, модальные логики, неклассические логики, разрешимость.

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

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


Основные публикации:
Публикации в базе данных Math-Net.Ru

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

Организации:


© МИАН, 2025