Maksimova, Larisa Lvovna
| Larisa Lvovna Maksimova | |
|---|---|
| Fecha de nacimiento | 5 de noviembre de 1943 (78 años) |
| Lugar de nacimiento | |
| País | URSS → Rusia |
| Esfera científica | lógica matemática |
| Lugar de trabajo | |
| alma mater | |
| Titulo academico | Doctor en Ciencias Físicas y Matemáticas (1986) |
| Título académico | Profesor |
| consejero científico | A. I. Maltsev |
| Premios y premios |
 |
Larisa Lvovna Maksimova (nacida el 5 de noviembre de 1943) es una matemática y profesora rusa, especialista en el campo de la lógica matemática, ganadora del Premio A. I. Maltsev (2009).
Biografía
Nacido en con. Kochenevo, distrito de Kochenevsky, región de Novosibirsk.
En 1965 se graduó de la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Novosibirsk.
En 1968 defendió su tesis doctoral (directora - Académico A. I. Maltsev ).
En 1986 defendió su tesis doctoral.
En el Instituto Sobolev de Matemáticas de la Rama Siberiana de la Academia de Ciencias de la URSS (RAS) desde 1965: investigador en formación, junior (1967), senior (1979), líder (1986), jefe (2009) investigador.
Desde 1965, ha estado trabajando a tiempo parcial en NSU: Asistente, Profesor Asociado (1972), Profesor (1991) del Departamento de Álgebra y Lógica Matemática.
Actividad científica
Campo científico: lógica matemática, en particular, lógicas no clásicas: lógicas relevantes, superintuicionistas, modales, temporales; lógica algebraica, teoría general de los sistemas algebraicos.
Se resuelve el problema de tabularidad en extensiones de lógica intuicionista y en extensiones de la conocida lógica modal S4.
Se encuentra una descripción exhaustiva de las lógicas superintuicionistas con la propiedad de interpolación y con la propiedad proyectiva de Beth.
Se demuestra la solucionabilidad de los problemas de tabularidad e interpolación en cálculos superintuicionistas y modales.
Se demuestra que todas las lógicas modales transitivas tienen la propiedad de definibilidad de Beth. Por el contrario, las lógicas temporales con tiempo lineal o ramificado no tienen ni la propiedad de interpolación ni la propiedad de Beth.
Principales publicaciones
- El teorema de Maksimova L. Craig en lógica superintuicionista y variedades amalgamables de álgebras pseudo-booleanas // Algebra and Logic, volumen 16 (1977), p. 643-681.
- Maksimova L. Sobre separación variable en lógica modal y superintuicionista // Studia Logica, 55(1995), 99-112.
- Maksimova L. Lógica intuicionista y definibilidad implícita // Annals of Pure and Applied Logic, 105 (2000), 83-102.
- Maksimova L. Propiedades fuertemente decidibles de cálculos modales e intuicionistas // Logic Journal of IGPL, 8, no. 6 (2000), 797-819.
- I. A. Lavrov I. A., Maksimova L. L. Problemas en teoría de conjuntos, lógica matemática y teoría de algoritmos. 4ª ed. M., Fizmatlit, 2001 (ediciones anteriores - 1974, 1985, 1995, traducción al húngaro - 1988).
Premios
- Premio A. I. Maltsev (2009) - por una serie de artículos científicos "Definibilidad implícita e interpolación en lógicas no clásicas"
- Premio del Gobierno de la Federación Rusa en el campo de la educación (2010).
Notas
- ↑ Genealogía matemática (inglés) - 1997.
Enlaces
- Maksimova, Larisa Lvovna en el sitio web oficial de la Academia Rusa de Ciencias
- Maksimova, Larisa Lvovna en el portal matemático Math-Net.Ru
- Página personal en el sitio Fotoarchivo de la SB RAS
- http://mmf-old.nsu.ru/sites/default/files/professors-mmf-2016_3.pdf
 sitios temáticos | ||||
|---|---|---|---|---|
| ||||