Максимова Лариса Львовна

Публикации в базе данных Math-Net.Ru

1. Интерполяционное свойство Крейга в предтабличных логиках
   
   Сиб. матем. журн., 65:2 (2024),  349–357
2. Предтабличность и интерполяционное свойство Крейга
   
   Алгебра и логика, 62:3 (2023),  415–423
3. Предтабличность и интерполяционное свойство Крейга над минимальной логикой
   
   Сиб. электрон. матем. изв., 20:1 (2023),  245–250
4. Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4
   
   Сиб. матем. журн., 63:2 (2022),  344–359
5. Гибридные расширения минимальной логики
   
   Сиб. матем. журн., 62:5 (2021),  1084–1090
6. Perceptibility in pre-Heyting logics
   
   Сиб. электрон. матем. изв., 17 (2020),  1064–1072
7. Конструктивные классификации модальных логик и расширений минимальной логики
   
   Алгебра и логика, 58:6 (2019),  808–814
8. Проблема интерполяции в конечнослойных предгейтинговых логиках
   
   Алгебра и логика, 58:2 (2019),  210–228
9. Узнаваемость в предгейтинговых и стройных логиках
   
   Сиб. электрон. матем. изв., 16 (2019),  427–434
10. Сильная вычислимость слоев над логикой $\mathrm{GL}$
    
    Сиб. электрон. матем. изв., 15 (2018),  35–47
11. Расширения минимальной логики и проблема интерполяции
    
    Сиб. матем. журн., 59:4 (2018),  863–878
12. Сильная разрешимость и сильная узнаваемость
    
    Алгебра и логика, 56:5 (2017),  559–581
13. Узнаваемые и различимые логики и многообразия
    
    Алгебра и логика, 56:3 (2017),  367–374
14. Слои и уровни расширений минимальной логики
    
    Сиб. матем. журн., 58:6 (2017),  1341–1353
15. Слои над минимальной логикой
    
    Алгебра и логика, 55:4 (2016),  449–464
16. Исчисления над минимальной логикой и невложимость алгебр
    
    Сиб. электрон. матем. изв., 13 (2016),  704–715
17. Проблема табличности над минимальной логикой
    
    Сиб. матем. журн., 57:6 (2016),  1320–1332
18. Строение слоев над минимальной логикой
    
    Сиб. матем. журн., 57:5 (2016),  1078–1087
19. Узнаваемые логики
    
    Алгебра и логика, 54:2 (2015),  252–274
20. WIP-минимальные логики и интерполяция
    
    Сиб. электрон. матем. изв., 12 (2015),  7–20
21. Интерполяция над минимальной логикой и интервалы Одинцова
    
    Сиб. матем. журн., 56:3 (2015),  600–616
22. Негативная эквивалентность над минимальной логикой и интерполяция
    
    Сиб. электрон. матем. изв., 11 (2014),  1–17
23. Свойство Линдона и униформная интерполяция над логикой Гжегорчика
    
    Сиб. матем. журн., 55:1 (2014),  147–155
24. Ограниченная интерполяция над модальной логикой $\mathrm S4$
    
    Алгебра и логика, 52:4 (2013),  461–501
25. Проективное свойство Бета в стройных логиках
    
    Алгебра и логика, 52:2 (2013),  172–202
26. Классификация расширений модальной логики S4
    
    Сиб. матем. журн., 54:6 (2013),  1337–1352
27. Интерполяция и проективное свойство Бета в стройных логиках
    
    Алгебра и логика, 51:2 (2012),  244–275
28. Разрешимость интерполяционного свойства Крейга в стройных $\mathrm J$-логиках
    
    Сиб. матем. журн., 53:5 (2012),  1048–1064
29. Разрешимость слабого интерполяционного свойства над минимальной логикой
    
    Алгебра и логика, 50:2 (2011),  152–188
30. Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр
    
    Совр. пробл. матем., 15 (2011),  15–39
31. Простые слабо транзитивные модальные алгебры
    
    Алгебра и логика, 49:3 (2010),  346–365
32. Совместная непротиворечивость в расширениях минимальной логики
    
    Сиб. матем. журн., 51:3 (2010),  604–619
33. Разрешимость проблемы интерполяции и родственных свойств в табличных логиках
    
    Алгебра и логика, 48:6 (2009),  754–792
34. Ограниченное интерполяционное свойство в суперинтуиционистских логиках
    
    Алгебра и логика, 48:1 (2009),  54–89
35. Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках
    
    Алгебра и логика, 47:3 (2008),  307–334
36. Слабая форма интерполяции в эквациональной логике
    
    Алгебра и логика, 47:1 (2008),  94–107
37. Метод доказательства интерполяции в паранепротиворечивых расширениях минимальной логики
    
    Алгебра и логика, 46:5 (2007),  627–648
38. Проективное свойство Бета и интерполяция в позитивных и близких к ним логиках
    
    Алгебра и логика, 45:1 (2006),  85–113
39. Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления
    
    Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006),  49–58
40. Интерполяция и определимость в расширениях минимальной логики
    
    Алгебра и логика, 44:6 (2005),  726–750
41. Определимость в нормальных расширениях логики S4
    
    Алгебра и логика, 43:4 (2004),  387–410
42. Ограниченная интерполяция и проективное свойство Бета в эквациональной логике
    
    Алгебра и логика, 42:6 (2003),  712–726
43. Неявная определимость и позитивные логики
    
    Алгебра и логика, 42:1 (2003),  65–93
44. Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр
    
    Алгебра и логика, 40:3 (2001),  290–301
45. Суперинтуиционистские логики и проективное свойство Бета
    
    Алгебра и логика, 38:6 (1999),  680–696
46. Проективные свойства Бета в модальных и суперинтуиционистских логиках
    
    Алгебра и логика, 38:3 (1999),  316–333
47. Интерполяция в суперинтуиционистских логиках предикатов с равенством
    
    Алгебра и логика, 36:5 (1997),  543–561
48. Явные определения неявно определимых объектов в некоторых модальных логиках
    
    Сиб. матем. журн., 38:3 (1997),  598–602
49. Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
    
    Алгебра и логика, 31:2 (1992),  145–166
50. Аналог теоремы Бета в нормальных расширениях модальной логики К4
    
    Сиб. матем. журн., 33:6 (1992),  118–130
51. Свойства Бета, интерполяция и амальгамируемость в многообразиях модальных алгебр
    
    Докл. АН СССР, 319:6 (1991),  1309–1312
52. Отсутствие интерполяции и свойства Бета во временных логиках с оператором “the next”
    
    Сиб. матем. журн., 32:6 (1991),  109–113
53. Интерполяция в модальных логиках бесконечного слоя, содержащих логику $\mathbf{K}4$
    
    Тр. Ин-та математики, 12 (1989),  72–91
54. Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством
    
    Сиб. матем. журн., 30:6 (1989),  122–131
55. Интерполяция в бесконечнослойных расширениях логики доказуемости
    
    Алгебра и логика, 27:5 (1988),  581–603
56. Отсутствие интерполяционного свойства у модальных напарников логики Даммета
    
    Алгебра и логика, 21:6 (1982),  690–694
57. Интерполяционная теорема Линдона в модальных логиках
    
    Тр. Ин-та математики, 2 (1982),  45–55
58. Интерполяционные теоремы в модальных логиках. Достаточные условия
    
    Алгебра и логика, 19:2 (1980),  194–213
59. Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр
    
    Алгебра и логика, 18:5 (1979),  556–586
60. Об одной классификации модальных логик
    
    Алгебра и логика, 18:3 (1979),  328–340
61. Невозможность конечной аксиоматизации логики финитных задач Медведева
    
    Докл. АН СССР, 245:5 (1979),  1051–1054
62. Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр
    
    Алгебра и логика, 16:6 (1977),  643–681
63. Интерполяционная теорема Крейга и амальгамируемые многообразия
    
    Докл. АН СССР, 237:6 (1977),  1281–1284
64. Принцип разделения переменных в пропозициональных логиках
    
    Алгебра и логика, 15:2 (1976),  168–184
65. Модальные логики конечных слоев
    
    Алгебра и логика, 14:3 (1975),  304–319
66. Предтабличные расширения логики $S4$ Льюиса
    
    Алгебра и логика, 14:1 (1975),  28–55
67. О тавтологиях $\omega^+$-значной логики
    
    Матем. заметки, 17:6 (1975),  947–955
68. О решетке нормальных модальных логик
    
    Алгебра и логика, 13:2 (1974),  188–216
69. Структуры с импликацией
    
    Алгебра и логика, 12:4 (1973),  445–467
70. Предтабличные суперинтуиционистские логики
    
    Алгебра и логика, 11:5 (1972),  558–570
71. Интерпретация и теоремы отделения для исчислений $E$ и $R$
    
    Алгебра и логика, 10:4 (1971),  376–392
72. О $E$-теориях
    
    Алгебра и логика, 9:5 (1970),  530–538
73. Об исчислении строгой импликации
    
    Алгебра и логика, 7:2 (1968),  55–76
74. О моделях исчисления $E$
    
    Алгебра и логика. Семинар, 6:6 (1967),  5–20
75. Топологические пространства и квазиупорядоченные множества
    
    Алгебра и логика. Семинар, 6:4 (1967),  51–59
76. Некоторые вопросы исчисления Аккермана
    
    Докл. АН СССР, 175:6 (1967),  1222–1224
77. Формальные выводы в исчислении строгой импликации
    
    Алгебра и логика. Семинар, 5:6 (1966),  33–39
78. О системе аксиом исчисления строгой импликации
    
    Алгебра и логика. Семинар, 3:3 (1964),  59–68


79. Памяти Валерия Матвеевича Копытова
    
    Алгебра и логика, 61:6 (2022),  I–IV
80. Евгений Андреевич Палютин (1945–2018)
    
    Сиб. электрон. матем. изв., 16 (2019),  1–10
81. Юрий Леонидович Ершов (к 75-летию со дня рождения)
    
    Сиб. матем. журн., 56:3 (2015),  477–480
82. Сергей Ильич Мардаев (6.04.1962–10.04.2013)
    
    Сиб. электрон. матем. изв., 10 (2013),  30–34
83. Юрий Леонидович Ершов (к семидесятилетию со дня рождения)
    
    УМН, 66:1(397) (2011),  201–204
84. Сергей Савостьянович Гончаров (к 60-летию со дня рождения)
    
    Сиб. матем. журн., 52:5 (2011),  959–961
85. Тайманов Асан Дабсович (некролог)
    
    УМН, 45:5(275) (1990),  171–173
86. К восьмидесятилетию выдающегося советского математика академика А. И. Мальцева
    
    Алгебра и логика, 28:6 (1989),  615–618