-
Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 50:2 (2011), 152–188
; L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic”, Algebra and Logic, 50:2 (2011), 106–132
-
Л. Л. Максимова, “Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр”, Конференция «Мальцевские чтения», Совр. пробл. матем., 15, МИАН, М., 2011, 15–39
; L. L. Maksimova, “Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras”, Proc. Steklov Inst. Math., 278, suppl. 1 (2012), S66–S90
-
Maksimova L., “Interpolation and Definability Over the Logic Gl”, Stud. Log., 99:1-3, SI (2011), 249–267
-
Л. Л. Максимова, “Совместная непротиворечивость в расширениях минимальной логики”, Сиб. матем. журн., 51:3 (2010), 604–619
; L. L. Maksimova, “Joint consistency in extensions of the minimal logic”, Siberian Math. J., 51:3 (2010), 479–490
-
Maksimova L., “Problem of restricted interpolation in superintuitionistic and some modal logics”, Logic Journal of the Igpl, 18:3 (2010), 367–380
-
Л. Л. Максимова, “Ограниченное интерполяционное свойство в суперинтуиционистских логиках”, Алгебра и логика, 48:1 (2009), 54–89
; L. L. Maksimova, “Restricted interpolation property in superintuitionistic logics”, Algebra and Logic, 48:1 (2009), 33–53
-
Л. Л. Максимова, “Разрешимость проблемы интерполяции и родственных свойств в табличных логиках”, Алгебра и логика, 48:6 (2009), 754–792
; L. L. Maksimova, “Decidability of the interpolation problem and of related properties in tabular logics”, Algebra and Logic, 48:6 (2009), 426–448
-
Ч. К. Гупта, Е. И. Тимошенко, “Тестовый ранг разрешимого произведения свободных абелевых групп”, Матем. сб., 199:4 (2008), 21–36
; Ch. K. Gupta, E. I. Timoshenko, “The test rank of a soluble product of free Abelian groups”, Sb. Math., 199:4 (2008), 495–510
-
Л. Л. Максимова, “Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики”, Алгебра и логика, 46:5 (2007), 627–648
; L. L. Maksimova, “A method of proving interpolation in paraconsistent extensions of the minimal logic”, Algebra and Logic, 46:5 (2007), 341–353
-
Л. Л. Максимова, “Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках”, Алгебра и логика, 45:1 (2006), 85–113
; L. L. Maksimova, “The Projective Beth Property and Interpolation in Positive and Related Logics”, Algebra and Logic, 45:1 (2006), 49–66
-
Л. Л. Максимова, П. А. Шрайнер, “Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 49–58
-
Е. И. Тимошенко, “Вычисление тестового ранга свободной разрешимой группы”, Алгебра и логика, 45:4 (2006), 447–457
; E. I. Timoshenko, “Computing Test Rank for a Free Solvable Group”, Algebra and Logic, 45:4 (2006), 254–260
-
Larisa Maksimova, “Definability and Interpolation in Non-Classical Logics”, Stud Logica, 82:2 (2006), 271
-
Larisa Maksimova, “On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic”, Electronic Notes in Theoretical Computer Science, 165 (2006), 107
-
Л. Л. Максимова, “Интерполяция и определимость в расширениях минимальной логики”, Алгебра и логика, 44:6 (2005), 726–750
; L. L. Maksimova, “Interpolation and Definability in Extensions of the Minimal Logic”, Algebra and Logic, 44:6 (2005), 407–421