|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
Л. Л. Максимова, В. Ф. Юн, “Интерполяционное свойство Крейга в предтабличных логиках”, Сиб. матем. журн., 65:2 (2024), 349–357  ; L. L. Maksimova, V. F. Yun, “Craig's interpolation property in pretabular logics”, Siberian Math. J., 65:2 (2024), 344–350 |
|
2023 |
| 2. |
Л. Л. Максимова, В. Ф. Юн, “Предтабличность и интерполяционное свойство Крейга”, Алгебра и логика, 62:3 (2023), 415–423 ; L. L. Maksimova, V. F. Yun, “Pretabularity and Craig’s interpolation property”, Algebra and Logic, 62:3 (2023), 277–282 |
| 3. |
Л. Л. Максимова, В. Ф. Юн, “Предтабличность и интерполяционное свойство Крейга над минимальной логикой”, Сиб. электрон. матем. изв., 20:1 (2023), 245–250 |
2
|
|
2022 |
| 4. |
Л. Л. Максимова, В. Ф. Юн, “Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4”, Сиб. матем. журн., 63:2 (2022), 344–359 ; L. L. Maksimova, V. F. Yun, “Algorithms for recognizing restricted interpolation over the modal logic S4”, Siberian Math. J., 63:2 (2022), 286–298 |
|
2021 |
| 5. |
Л. Л. Максимова, В. Ф. Юн, “Гибридные расширения минимальной логики”, Сиб. матем. журн., 62:5 (2021), 1084–1090  ; L. L. Maksimova, V. F. Yun, “Hybrid extensions of the minimal logic”, Siberian Math. J., 62:5 (2021), 876–881   |
|
2020 |
| 6. |
L. L. Maksimova, V. F. Yun, “Perceptibility in pre-Heyting logics”, Сиб. электрон. матем. изв., 17 (2020), 1064–1072 |
|
2019 |
| 7. |
Л. Л. Максимова, В. Ф. Юн, “Проблема интерполяции в конечнослойных предгейтинговых логиках”, Алгебра и логика, 58:2 (2019), 210–228 ; L. L. Maksimova, V. F. Yun, “The interpolation problem in finite-layered pre-Heyting logics”, Algebra and Logic, 58:2 (2019), 144–157 |
1
|
| 8. |
Л. Л. Максимова, В. Ф. Юн, “Узнаваемость в предгейтинговых и стройных логиках”, Сиб. электрон. матем. изв., 16 (2019), 427–434 |
2
|
|
2018 |
| 9. |
Л. Л. Максимова, В. Ф. Юн, “Сильная вычислимость слоев над логикой $\mathrm{GL}$”, Сиб. электрон. матем. изв., 15 (2018), 35–47 |
1
|
| 10. |
Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 59:4 (2018), 863–878 ; L. L. Maksimova, V. F. Yun, “Extensions of the minimal logic and the interpolation problem”, Siberian Math. J., 59:4 (2018), 681–693 |
4
|
| 11. |
В. Ф. Юн, “Узнаваемость всех WIP-минимальных логик”, Сиб. матем. журн., 59:1 (2018), 225–237 ; V. F. Yun, “Recognizability of all WIP-minimal logics”, Siberian Math. J., 59:1 (2018), 179–188 |
1
|
|
2017 |
| 12. |
Л. Л. Максимова, В. Ф. Юн, “Сильная разрешимость и сильная узнаваемость”, Алгебра и логика, 56:5 (2017), 559–581 ; L. L. Maksimova, V. F. Yun, “Strong decidability and strong recognizability”, Algebra and Logic, 56:5 (2017), 370–385 |
8
|
| 13. |
Л. Л. Максимова, В. Ф. Юн, “Слои и уровни расширений минимальной логики”, Сиб. матем. журн., 58:6 (2017), 1341–1353 ; L. L. Maksimova, V. F. Yun, “Slices and levels of extensions of the minimal logic”, Siberian Math. J., 58:6 (2017), 1042–1051 |
2
|
|
2016 |
| 14. |
Л. Л. Максимова, В. Ф. Юн, “Слои над минимальной логикой”, Алгебра и логика, 55:4 (2016), 449–464 ; L. L. Maksimova, V. F. Yun, “Layers over minimal logic”, Algebra and Logic, 55:4 (2016), 295–305 |
7
|
| 15. |
Л. Л. Максимова, В. Ф. Юн, “Исчисления над минимальной логикой и невложимость алгебр”, Сиб. электрон. матем. изв., 13 (2016), 704–715 |
3
|
| 16. |
Л. Л. Максимова, В. Ф. Юн, “Проблема табличности над минимальной логикой”, Сиб. матем. журн., 57:6 (2016), 1320–1332 ; L. L. Maksimova, V. F. Yun, “The tabularity problem over the minimal logic”, Siberian Math. J., 57:6 (2016), 1034–1043 |
7
|
|
2015 |
| 17. |
Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 54:2 (2015), 252–274  ; L. L. Maksimova, V. F. Yun, “Recognizable logics”, Algebra and Logic, 54:2 (2015), 167–182 |
17
|
| 18. |
В. Ф. Юн, “Полимодальная логика индуктивных линейных по времени фреймов”, Сиб. электрон. матем. изв., 12 (2015), 421–431 |
1
|
| 19. |
Л. Л. Максимова, В. Ф. Юн, “WIP-минимальные логики и интерполяция”, Сиб. электрон. матем. изв., 12 (2015), 7–20 |
6
|
| 20. |
В. Ф. Юн, “О линейной логике знания и времени с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015), 715–719 ; V. F. Yun, “On the linear logic of knowledge and time with intransitive time relation”, Siberian Math. J., 56:3 (2015), 565–568 |
1
|
| 21. |
Л. Л. Максимова, В. Ф. Юн, “Интерполяция над минимальной логикой и интервалы Одинцова”, Сиб. матем. журн., 56:3 (2015), 600–616 ; L. L. Maksimova, V. F. Yun, “Interpolation over the minimal logic and Odintsov intervals”, Siberian Math. J., 56:3 (2015), 476–489 |
3
|
|
2010 |
| 22. |
В. Ф. Юн, “Временная логика индуктивных фреймов с линейным временем”, Сиб. электрон. матем. изв., 7 (2010), 445–457 |
1
|
|
2009 |
| 23. |
В. Ф. Юн, “Временная логика линейных по времени фреймов с аксиомой индукции”, Сиб. электрон. матем. изв., 6 (2009), 312–325 |
3
|
|
|
|
2025 |
| 24. |
С. Н. Артёмов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, С. П. Одинцов, В. В. Рыбаков, С. О. Сперанский, В. Б. Шехтман, В. Ф. Юн, “Лариса Львовна Максимова (некролог)”, УМН, 80:3(483) (2025), 179–182 ; S. N. Artemov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, S. P. Odintsov, V. V. Rybakov, S. O. Speranski, V. B. Shehtman, V. F. Yun, “Larisa L'vovna Maksimova (obituary)”, Russian Math. Surveys, 80:3 (2025), 533–536 |
|
Обратная связь: