RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Maksimova Larisa Lvovna

Statistics Math-Net.Ru
Total publications: 42
Scientific articles: 37
Presentations: 1

Number of views:
This page:1624
Abstract pages:11330
Full texts:1870
References:689
Professor
Doctor of physico-mathematical sciences (1986)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: mathematical logic; universal algebra; algebraic logic; modal logics; non–classical logics; decidability.

Subject:

Scientific area: Mathematical Logic, especially Non–Classical Logics: Relevant, Intermediate, Modal, Temporal Logics; Algebraic Logic, General Theory of Algebraic Structures.

Biography

Graduated from Faculty of Mathematics and Mechanics of Novosibirsk State University in 1965 (Department of Algebra and Mathematical Logic). Ph.D. thesis was defended in 1968, supervised by Prof. Anatolii Maltsev. D.Sci. thesis was defended in 1986. Leading Researcher of the Institute of Mathematics, Siberian Branch of Russian Academy of Sciences; Professor of Novosibirsk State University. A list of my works contains more than 110 titles.

   
Main publications:
  • 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.

http://www.mathnet.ru/eng/person17992
List of publications on Google Scholar
List of publications on ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=190575

Publications in Math-Net.Ru
1. Strong computability of slices over the logic $\mathrm{GL}$
L. L. Maksimova, V. F. Yun
Sib. Èlektron. Mat. Izv., 15 (2018),  35–47
2. Strong decidability and strong recognizability
L. L. Maksimova, V. F. Yun
Algebra Logika, 56:5 (2017),  559–581
3. Recognizable and perceptible logics and varieties
L. L. Maksimova
Algebra Logika, 56:3 (2017),  367–374
4. Slices and levels of extensions of the minimal logic
L. L. Maksimova, V. F. Yun
Sibirsk. Mat. Zh., 58:6 (2017),  1341–1353
5. Layers over minimal logic
L. L. Maksimova, V. F. Yun
Algebra Logika, 55:4 (2016),  449–464
6. Calculi over minimal logic and nonembeddability of algebras
L. L. Maksimova, V. F. Yun
Sib. Èlektron. Mat. Izv., 13 (2016),  704–715
7. The tabularity problem over the minimal logic
L. L. Maksimova, V. F. Yun
Sibirsk. Mat. Zh., 57:6 (2016),  1320–1332
8. The structure of slices over minimal logic
L. L. Maksimova
Sibirsk. Mat. Zh., 57:5 (2016),  1078–1087
9. Recognizable logics
L. L. Maksimova, V. F. Yun
Algebra Logika, 54:2 (2015),  252–274
10. WIP-minimal logics and interpolation
L. L. Maksimova, V. F. Yun
Sib. Èlektron. Mat. Izv., 12 (2015),  7–20
11. Interpolation over the minimal logic and Odintsov intervals
L. L. Maksimova, V. F. Yun
Sibirsk. Mat. Zh., 56:3 (2015),  600–616
12. Negative equivalence over the minimal logic and interpolation
L. L. Maksimova
Sib. Èlektron. Mat. Izv., 11 (2014),  1–17
13. The Lyndon property and uniform interpolation over the Grzegorczyk logic
L. L. Maksimova
Sibirsk. Mat. Zh., 55:1 (2014),  147–155
14. Restricted interpolation over modal logic $\mathrm S4$
L. L. Maksimova
Algebra Logika, 52:4 (2013),  461–501
15. The projective Beth property in well-composed logics
L. L. Maksimova
Algebra Logika, 52:2 (2013),  172–202
16. Classification of extensions of the modal logic S4
L. L. Maksimova
Sibirsk. Mat. Zh., 54:6 (2013),  1337–1352
17. Interpolation and the projective Beth property in well-composed logics
L. L. Maksimova
Algebra Logika, 51:2 (2012),  244–275
18. The decidability of craig's interpolation property in well-composed $\mathrm J$-logics
L. L. Maksimova
Sibirsk. Mat. Zh., 53:5 (2012),  1048–1064
19. Decidability of the weak interpolation property over the minimal logic
L. L. Maksimova
Algebra Logika, 50:2 (2011),  152–188
20. Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras
L. L. Maksimova
Sovrem. Probl. Mat., 15 (2011),  15–39
21. Simple weakly transitive modal algebras
A. V. Karpenko, L. L. Maksimova
Algebra Logika, 49:3 (2010),  346–365
22. Joint consistency in extensions of the minimal logic
L. L. Maksimova
Sibirsk. Mat. Zh., 51:3 (2010),  604–619
23. Decidability of the interpolation problem and of related properties in tabular logics
L. L. Maksimova
Algebra Logika, 48:6 (2009),  754–792
24. Restricted interpolation property in superintuitionistic logics
L. L. Maksimova
Algebra Logika, 48:1 (2009),  54–89
25. The Beth property and interpolation in lattice-based algebras and logics
L. L. Maksimova, E. Orlowska
Algebra Logika, 47:3 (2008),  307–334
26. A weak form of interpolation in equational logic
L. L. Maksimova
Algebra Logika, 47:1 (2008),  94–107
27. A method of proving interpolation in paraconsistent extensions of the minimal logic
L. L. Maksimova
Algebra Logika, 46:5 (2007),  627–648
28. The Projective Beth Property and Interpolation in Positive and Related Logics
L. L. Maksimova
Algebra Logika, 45:1 (2006),  85–113
29. Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
L. L. Maksimova, P. A. Schreiner
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006),  49–58
30. Interpolation and Definability in Extensions of the Minimal Logic
L. L. Maksimova
Algebra Logika, 44:6 (2005),  726–750
31. Definability in Normal Extensions of S4
L. L. Maksimova
Algebra Logika, 43:4 (2004),  387–410
32. Restricted Interpolation and the Projective Beth Property in Equational Logic
L. L. Maksimova
Algebra Logika, 42:6 (2003),  712–726
33. Implicit Definability and Positive Logics
L. L. Maksimova
Algebra Logika, 42:1 (2003),  65–93
34. Decidability of the Projective Beth Property in Varieties of Heyting Algebras
L. L. Maksimova
Algebra Logika, 40:3 (2001),  290–301
35. Explicit definitions of implicitly definable objects in some modal logics
L. L. Maksimova
Sibirsk. Mat. Zh., 38:3 (1997),  598–602
36. An analog of Beth's theorem in normal extensions of the modal logic K4
L. L. Maksimova
Sibirsk. Mat. Zh., 33:6 (1992),  118–130
37. On tautologies in $\omega^+$-valued logic
L. L. Maksimova
Mat. Zametki, 17:6 (1975),  947–955
38. Some questions on the Ackermann calculus
L. L. Maksimova
Dokl. Akad. Nauk SSSR, 175:6 (1967),  1222–1224

39. Yurii Leonidovich Ershov (on the occasion of his 75th birthday)
S. S. Goncharov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, E. P. Vdovin, A. V. Vasil'ev, E. A. Palyutin, A. A. Nikitin, M. V. Schwidefsky, L. A. Bokut', I. P. Shestakov, E. I. Khukhro
Sibirsk. Mat. Zh., 56:3 (2015),  477–480
40. Sergei Ilyich Mardaev (6.04.1962–10.04.2013)
P. E. Alaev, O. V. Bogopolski, A. V. Vasil'ev, S. S. Goncharov, Yu. L. Ershov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Palchunov, V. G. Puzarenko, V. V. Rybakov, K. L. Rychkov, A. N. Ryaskin, I. A. Taimanov, A. S. Filyurin, D. G. Khramtsov, V. A. Churkin
Sib. Èlektron. Mat. Izv., 10 (2013),  30–34
41. Yurii Leonidovich Ershov (on his seventieth birthday)
A. A. Borovkov, S. K. Godunov, S. S. Goncharov, A. N. Konovalov, I. A. Lavrov, V. D. Mazurov, L. L. Maksimova, A. A. Mal'tsev, B. G. Mikhailenko, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, Yu. G. Reshetnyak
Uspekhi Mat. Nauk, 66:1(397) (2011),  201–204
42. Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)
Yu. L. Ershov, V. D. Mazurov, P. E. Alaev, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Pal'chunov, E. A. Palyutin, S. Yu. Podzorov
Sibirsk. Mat. Zh., 52:5 (2011),  959–961
43. Asan Dabsovich Taimanov (obituary)
S. S. Goncharov, Yu. L. Ershov, M. M. Lavrent'ev, L. L. Maksimova, T. G. Mustafin, S. P. Novikov, E. A. Palyutin, M. G. Peretyat'kin, Yu. G. Reshetnyak, D. M. Smirnov
Uspekhi Mat. Nauk, 45:5(275) (1990),  171–173

Presentations in Math-Net.Ru
1. Weak interpolation property over the minimal logic
Larisa Maksimova
The eighth International onference "Advances in Modal Logic" (AiML 2010)
August 27, 2010 15:00   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018