Maksimova, Larisa Lvovna
| Larisa Lvovna Maksimova | |
|---|---|
| Födelsedatum | 5 november 1943 (78 år) |
| Födelseort | |
| Land | Sovjetunionen → Ryssland |
| Vetenskaplig sfär | matematisk logik |
| Arbetsplats | |
| Alma mater | |
| Akademisk examen | Doktor i fysikaliska och matematiska vetenskaper (1986) |
| Akademisk titel | Professor |
| vetenskaplig rådgivare | A. I. Maltsev |
| Utmärkelser och priser |
 |
Larisa Lvovna Maksimova (född 5 november 1943) är en rysk matematiker och lärare, specialist inom området matematisk logik, vinnare av A. I. Maltsev-priset (2009).
Biografi
Född i med. Kochenevo, Kochenevsky-distriktet, Novosibirsk-regionen.
1965 tog hon examen från fakulteten för mekanik och matematik vid Novosibirsk State University.
1968 försvarade hon sin doktorsavhandling (handledare - akademiker A. I. Maltsev ).
1986 disputerade hon på sin doktorsavhandling.
Vid Sobolev Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences (RAS) sedan 1965: forskarelev, junior (1967), senior (1979), ledande (1986), chefsforskare (2009).
Sedan 1965 har han arbetat deltid vid NSU: biträdande docent (1972), professor (1991) vid institutionen för algebra och matematisk logik.
Vetenskaplig verksamhet
Vetenskapligt område: matematisk logik, i synnerhet icke-klassisk logik: relevant, superintuitionistisk, modal, temporal logik; algebraisk logik, allmän teori om algebraiska system.
Problemet med tabularitet i förlängningar av intuitionistisk logik och i förlängningar av den välkända modala logiken S4 är löst.
En uttömmande beskrivning av superintuitionistisk logik med interpolationsegenskapen och med den projektiva Beth-egenskapen finns.
Lösbarheten av tabularitets- och interpolationsproblem i superintuitionistiska och modala kalkyler bevisas.
Det är bevisat att alla transitiva modala logiker har egenskapen Beth-definierbarhet. Däremot har temporal logik med linjär eller grenad tid varken interpolationsegenskapen eller Beth-egenskapen.
Stora publikationer
- Maksimova L. Craigs teorem i superintuitionistisk logik och sammanslagbara varianter av pseudo-booleska algebror // Algebra and Logic, vol. 16(1977), sid. 643-681.
- Maksimova L. Om variabel separation i modal och superintuitionistisk logik // Studia Logica, 55(1995), 99-112.
- Maksimova L. Intuitionistisk logik och implicit definierbarhet // 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.
- I. A. Lavrov I. A., Maksimova L. L. Problem i mängdlära, matematisk logik och algoritmteori. 4:e uppl. M., Fizmatlit, 2001 (tidigare utgåvor - 1974, 1985, 1995, ungersk översättning - 1988).
Utmärkelser
- A. I. Maltsev-priset (2009) - för en serie vetenskapliga artiklar "Implicit definierbarhet och interpolation i icke-klassisk logik"
- Ryska federationens regerings pris inom utbildningsområdet (2010).
Anteckningar
- ↑ Mathematical Genealogy (engelska) - 1997.
Länkar
- Maksimova, Larisa Lvovna på den officiella webbplatsen för den ryska vetenskapsakademin
- Maksimova, Larisa Lvovna på den matematiska portalen Math-Net.Ru
- Personlig sida på webbplatsen Photoarchive of the SB RAS
- http://mmf-old.nsu.ru/sites/default/files/professors-mmf-2016_3.pdf
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||