Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Юн Вета Федоровна
В базах данных Math-Net.Ru
Публикаций: 23
Научных статей: 23

Статистика просмотров:
Эта страница:2884
Страницы публикаций:8799
Полные тексты:1017
Списки литературы:681
кандидат физико-математических наук
E-mail: ,

https://www.mathnet.ru/rus/person58614
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/888208
https://orcid.org/0000-0002-4871-6281

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. Л. Л. Максимова, В. Ф. Юн, “Интерполяционное свойство Крейга в предтабличных логиках”, Сиб. матем. журн., 65:2 (2024),  349–357  mathnet
2023
2. Л. Л. Максимова, В. Ф. Юн, “Предтабличность и интерполяционное свойство Крейга”, Алгебра и логика, 62:3 (2023),  415–423  mathnet
3. Л. Л. Максимова, В. Ф. Юн, “Предтабличность и интерполяционное свойство Крейга над минимальной логикой”, Сиб. электрон. матем. изв., 20:1 (2023),  245–250  mathnet 2
2022
4. Л. Л. Максимова, В. Ф. Юн, “Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4”, Сиб. матем. журн., 63:2 (2022),  344–359  mathnet; 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  mathnet  elib; L. L. Maksimova, V. F. Yun, “Hybrid extensions of the minimal logic”, Siberian Math. J., 62:5 (2021), 876–881  isi  scopus
2020
6. L. L. Maksimova, V. F. Yun, “Perceptibility in pre-Heyting logics”, Сиб. электрон. матем. изв., 17 (2020),  1064–1072  mathnet  isi
2019
7. Л. Л. Максимова, В. Ф. Юн, “Проблема интерполяции в конечнослойных предгейтинговых логиках”, Алгебра и логика, 58:2 (2019),  210–228  mathnet; L. L. Maksimova, V. F. Yun, “The interpolation problem in finite-layered pre-Heyting logics”, Algebra and Logic, 58:2 (2019), 144–157  isi  scopus 2
8. Л. Л. Максимова, В. Ф. Юн, “Узнаваемость в предгейтинговых и стройных логиках”, Сиб. электрон. матем. изв., 16 (2019),  427–434  mathnet  isi 2
2018
9. Л. Л. Максимова, В. Ф. Юн, “Сильная вычислимость слоев над логикой $\mathrm{GL}$”, Сиб. электрон. матем. изв., 15 (2018),  35–47  mathnet  isi 1
10. Л. Л. Максимова, В. Ф. Юн, “Расширения минимальной логики и проблема интерполяции”, Сиб. матем. журн., 59:4 (2018),  863–878  mathnet  elib; L. L. Maksimova, V. F. Yun, “Extensions of the minimal logic and the interpolation problem”, Siberian Math. J., 59:4 (2018), 681–693  isi  scopus 4
11. В. Ф. Юн, “Узнаваемость всех WIP-минимальных логик”, Сиб. матем. журн., 59:1 (2018),  225–237  mathnet  elib; V. F. Yun, “Recognizability of all WIP-minimal logics”, Siberian Math. J., 59:1 (2018), 179–188  isi  scopus 1
2017
12. Л. Л. Максимова, В. Ф. Юн, “Сильная разрешимость и сильная узнаваемость”, Алгебра и логика, 56:5 (2017),  559–581  mathnet; L. L. Maksimova, V. F. Yun, “Strong decidability and strong recognizability”, Algebra and Logic, 56:5 (2017), 370–385  isi  scopus 8
13. Л. Л. Максимова, В. Ф. Юн, “Слои и уровни расширений минимальной логики”, Сиб. матем. журн., 58:6 (2017),  1341–1353  mathnet  elib; L. L. Maksimova, V. F. Yun, “Slices and levels of extensions of the minimal logic”, Siberian Math. J., 58:6 (2017), 1042–1051  isi  scopus 2
2016
14. Л. Л. Максимова, В. Ф. Юн, “Слои над минимальной логикой”, Алгебра и логика, 55:4 (2016),  449–464  mathnet; L. L. Maksimova, V. F. Yun, “Layers over minimal logic”, Algebra and Logic, 55:4 (2016), 295–305  isi  scopus 8
15. Л. Л. Максимова, В. Ф. Юн, “Исчисления над минимальной логикой и невложимость алгебр”, Сиб. электрон. матем. изв., 13 (2016),  704–715  mathnet  isi 3
16. Л. Л. Максимова, В. Ф. Юн, “Проблема табличности над минимальной логикой”, Сиб. матем. журн., 57:6 (2016),  1320–1332  mathnet  elib; L. L. Maksimova, V. F. Yun, “The tabularity problem over the minimal logic”, Siberian Math. J., 57:6 (2016), 1034–1043  isi  scopus 9
2015
17. Л. Л. Максимова, В. Ф. Юн, “Узнаваемые логики”, Алгебра и логика, 54:2 (2015),  252–274  mathnet  mathscinet; L. L. Maksimova, V. F. Yun, “Recognizable logics”, Algebra and Logic, 54:2 (2015), 167–182  isi  scopus 18
18. В. Ф. Юн, “Полимодальная логика индуктивных линейных по времени фреймов”, Сиб. электрон. матем. изв., 12 (2015),  421–431  mathnet 1
19. Л. Л. Максимова, В. Ф. Юн, “WIP-минимальные логики и интерполяция”, Сиб. электрон. матем. изв., 12 (2015),  7–20  mathnet 6
20. В. Ф. Юн, “О линейной логике знания и времени с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015),  715–719  mathnet  mathscinet  elib; V. F. Yun, “On the linear logic of knowledge and time with intransitive time relation”, Siberian Math. J., 56:3 (2015), 565–568  isi  elib  scopus 1
21. Л. Л. Максимова, В. Ф. Юн, “Интерполяция над минимальной логикой и интервалы Одинцова”, Сиб. матем. журн., 56:3 (2015),  600–616  mathnet  mathscinet  elib; L. L. Maksimova, V. F. Yun, “Interpolation over the minimal logic and Odintsov intervals”, Siberian Math. J., 56:3 (2015), 476–489  isi  elib  scopus 3
2010
22. В. Ф. Юн, “Временная логика индуктивных фреймов с линейным временем”, Сиб. электрон. матем. изв., 7 (2010),  445–457  mathnet 1
2009
23. В. Ф. Юн, “Временная логика линейных по времени фреймов с аксиомой индукции”, Сиб. электрон. матем. изв., 6 (2009),  312–325  mathnet  mathscinet 3

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024