RUS  ENG
Full version
PEOPLE

Maksimova Larisa Lvovna

Publications in Math-Net.Ru

  1. Craig's interpolation property in pretabular logics

    Sibirsk. Mat. Zh., 65:2 (2024),  349–357
  2. Pretabularity and Craig’s interpolation property

    Algebra Logika, 62:3 (2023),  415–423
  3. Pretabularity and Craig's interpolation problem over the minimal logic

    Sib. Èlektron. Mat. Izv., 20:1 (2023),  245–250
  4. Algorithms for recognizing restricted interpolation over the modal logic S4

    Sibirsk. Mat. Zh., 63:2 (2022),  344–359
  5. Hybrid extensions of the minimal logic

    Sibirsk. Mat. Zh., 62:5 (2021),  1084–1090
  6. Perceptibility in pre-Heyting logics

    Sib. Èlektron. Mat. Izv., 17 (2020),  1064–1072
  7. Constructive classifications of modal logics and extensions of minimal logic

    Algebra Logika, 58:6 (2019),  808–814
  8. The interpolation problem in finite-layered pre-Heyting logics

    Algebra Logika, 58:2 (2019),  210–228
  9. Recognizability in pre-Heyting and well-composed logics

    Sib. Èlektron. Mat. Izv., 16 (2019),  427–434
  10. Strong computability of slices over the logic $\mathrm{GL}$

    Sib. Èlektron. Mat. Izv., 15 (2018),  35–47
  11. Extensions of the minimal logic and the interpolation problem

    Sibirsk. Mat. Zh., 59:4 (2018),  863–878
  12. Strong decidability and strong recognizability

    Algebra Logika, 56:5 (2017),  559–581
  13. Recognizable and perceptible logics and varieties

    Algebra Logika, 56:3 (2017),  367–374
  14. Slices and levels of extensions of the minimal logic

    Sibirsk. Mat. Zh., 58:6 (2017),  1341–1353
  15. Layers over minimal logic

    Algebra Logika, 55:4 (2016),  449–464
  16. Calculi over minimal logic and nonembeddability of algebras

    Sib. Èlektron. Mat. Izv., 13 (2016),  704–715
  17. The tabularity problem over the minimal logic

    Sibirsk. Mat. Zh., 57:6 (2016),  1320–1332
  18. The structure of slices over minimal logic

    Sibirsk. Mat. Zh., 57:5 (2016),  1078–1087
  19. Recognizable logics

    Algebra Logika, 54:2 (2015),  252–274
  20. WIP-minimal logics and interpolation

    Sib. Èlektron. Mat. Izv., 12 (2015),  7–20
  21. Interpolation over the minimal logic and Odintsov intervals

    Sibirsk. Mat. Zh., 56:3 (2015),  600–616
  22. Negative equivalence over the minimal logic and interpolation

    Sib. Èlektron. Mat. Izv., 11 (2014),  1–17
  23. The Lyndon property and uniform interpolation over the Grzegorczyk logic

    Sibirsk. Mat. Zh., 55:1 (2014),  147–155
  24. Restricted interpolation over modal logic $\mathrm S4$

    Algebra Logika, 52:4 (2013),  461–501
  25. The projective Beth property in well-composed logics

    Algebra Logika, 52:2 (2013),  172–202
  26. Classification of extensions of the modal logic S4

    Sibirsk. Mat. Zh., 54:6 (2013),  1337–1352
  27. Interpolation and the projective Beth property in well-composed logics

    Algebra Logika, 51:2 (2012),  244–275
  28. The decidability of craig's interpolation property in well-composed $\mathrm J$-logics

    Sibirsk. Mat. Zh., 53:5 (2012),  1048–1064
  29. Decidability of the weak interpolation property over the minimal logic

    Algebra Logika, 50:2 (2011),  152–188
  30. Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras

    Sovrem. Probl. Mat., 15 (2011),  15–39
  31. Simple weakly transitive modal algebras

    Algebra Logika, 49:3 (2010),  346–365
  32. Joint consistency in extensions of the minimal logic

    Sibirsk. Mat. Zh., 51:3 (2010),  604–619
  33. Decidability of the interpolation problem and of related properties in tabular logics

    Algebra Logika, 48:6 (2009),  754–792
  34. Restricted interpolation property in superintuitionistic logics

    Algebra Logika, 48:1 (2009),  54–89
  35. The Beth property and interpolation in lattice-based algebras and logics

    Algebra Logika, 47:3 (2008),  307–334
  36. A weak form of interpolation in equational logic

    Algebra Logika, 47:1 (2008),  94–107
  37. A method of proving interpolation in paraconsistent extensions of the minimal logic

    Algebra Logika, 46:5 (2007),  627–648
  38. The Projective Beth Property and Interpolation in Positive and Related Logics

    Algebra Logika, 45:1 (2006),  85–113
  39. Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus

    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006),  49–58
  40. Interpolation and Definability in Extensions of the Minimal Logic

    Algebra Logika, 44:6 (2005),  726–750
  41. Definability in Normal Extensions of S4

    Algebra Logika, 43:4 (2004),  387–410
  42. Restricted Interpolation and the Projective Beth Property in Equational Logic

    Algebra Logika, 42:6 (2003),  712–726
  43. Implicit Definability and Positive Logics

    Algebra Logika, 42:1 (2003),  65–93
  44. Decidability of the Projective Beth Property in Varieties of Heyting Algebras

    Algebra Logika, 40:3 (2001),  290–301
  45. Superintuitionistic logics and the projective Beth property

    Algebra Logika, 38:6 (1999),  680–696
  46. Projective Beth properties in modal and superintuitionistic logics

    Algebra Logika, 38:3 (1999),  316–333
  47. Interpolation in superintuitionistic predicate logics with equality

    Algebra Logika, 36:5 (1997),  543–561
  48. Explicit definitions of implicitly definable objects in some modal logics

    Sibirsk. Mat. Zh., 38:3 (1997),  598–602
  49. Modal logics and varieties of modal algebras: the Beth, interpolation, and amalgamation properties

    Algebra Logika, 31:2 (1992),  145–166
  50. An analog of Beth's theorem in normal extensions of the modal logic K4

    Sibirsk. Mat. Zh., 33:6 (1992),  118–130
  51. Beth properties, interpolation and amalgamation in varieties of modal algebras

    Dokl. Akad. Nauk SSSR, 319:6 (1991),  1309–1312
  52. The absence of the interpolation and Beth properties in temporal logics with “the next” operator

    Sibirsk. Mat. Zh., 32:6 (1991),  109–113
  53. Interpolation in modal logics of an infinite slice that contain the logic $\mathbf{K}4$

    Trudy Inst. Mat. Sib. Otd. AN SSSR, 12 (1989),  72–91
  54. A continuum of normal extensions of modal provability logic with the interpolation property

    Sibirsk. Mat. Zh., 30:6 (1989),  122–131
  55. Interpolation in infinite-layered extensions of provability logic

    Algebra Logika, 27:5 (1988),  581–603
  56. Absence of the interpolation property in modal companions of a Dummett logic

    Algebra Logika, 21:6 (1982),  690–694
  57. The Lyndon interpolation theorem in modal logics

    Trudy Inst. Mat. Sib. Otd. AN SSSR, 2 (1982),  45–55
  58. Interpolation theorems in modal logics. Sufficient conditions

    Algebra Logika, 19:2 (1980),  194–213
  59. Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras

    Algebra Logika, 18:5 (1979),  556–586
  60. A classification of modal logics

    Algebra Logika, 18:3 (1979),  328–340
  61. Impossibility of finite axiomatization of Medvedev's logic of finite problems

    Dokl. Akad. Nauk SSSR, 245:5 (1979),  1051–1054
  62. Craig's theorem in superintuitionistic logics and amalgamable varieties

    Algebra Logika, 16:6 (1977),  643–681
  63. Craig's interpolation theorem and amalgamable varieties

    Dokl. Akad. Nauk SSSR, 237:6 (1977),  1281–1284
  64. The principle of separation of variables in propositional logics

    Algebra Logika, 15:2 (1976),  168–184
  65. Modal logics of finite layers

    Algebra Logika, 14:3 (1975),  304–319
  66. Pretabular extensions of Lewis's logic $S4$

    Algebra Logika, 14:1 (1975),  28–55
  67. On tautologies in $\omega^+$-valued logic

    Mat. Zametki, 17:6 (1975),  947–955
  68. The lattice of normal modal logics

    Algebra Logika, 13:2 (1974),  188–216
  69. Sturctures with implication

    Algebra Logika, 12:4 (1973),  445–467
  70. Pretabular superintuitionistic logics

    Algebra Logika, 11:5 (1972),  558–570
  71. Interpretation and separation theorems for the calculi $E$ and $R$

    Algebra Logika, 10:4 (1971),  376–392
  72. $E$-theories

    Algebra Logika, 9:5 (1970),  530–538
  73. The calculus of strict implication

    Algebra Logika, 7:2 (1968),  55–76
  74. On models of the calculus $E$

    Algebra i Logika. Sem., 6:6 (1967),  5–20
  75. Topological spaces and quasi-ordered sets

    Algebra i Logika. Sem., 6:4 (1967),  51–59
  76. Some questions on the Ackermann calculus

    Dokl. Akad. Nauk SSSR, 175:6 (1967),  1222–1224
  77. Formal deductions in the calculus of strict implication

    Algebra i Logika. Sem., 5:6 (1966),  33–39
  78. On an axiom system for a calculus of strict implication

    Algebra i Logika. Sem., 3:3 (1964),  59–68

  79. In memory of Valeriy Matveevich Kopytov

    Algebra Logika, 61:6 (2022),  I–IV
  80. Evgenii Andreevich Palyutin (1945–2018)

    Sib. Èlektron. Mat. Izv., 16 (2019),  1–10
  81. Yurii Leonidovich Ershov (on the occasion of his 75th birthday)

    Sibirsk. Mat. Zh., 56:3 (2015),  477–480
  82. Sergei Ilyich Mardaev (6.04.1962–10.04.2013)

    Sib. Èlektron. Mat. Izv., 10 (2013),  30–34
  83. Yurii Leonidovich Ershov (on his seventieth birthday)

    Uspekhi Mat. Nauk, 66:1(397) (2011),  201–204
  84. Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)

    Sibirsk. Mat. Zh., 52:5 (2011),  959–961
  85. Asan Dabsovich Taimanov (obituary)

    Uspekhi Mat. Nauk, 45:5(275) (1990),  171–173
  86. On the eightieth anniversary of the birth of the outstanding Soviet mathematician and academician A. I. Mal'tsev

    Algebra Logika, 28:6 (1989),  615–618

© Steklov Math. Inst. of RAS, 2024