Научная деятельность
Статьи (24) Подробнее
| 1 |
Maksimova L.L.
, Yun V.F.
Craig’s Interpolation Property in Pretabular Logics Siberian Mathematical Journal. 2024. V.65. N2. P.344-350. DOI: 10.1134/s0037446624020095 WOS Scopus РИНЦ РИНЦ OpenAlex |
| 2 |
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга в предтабличных логиках Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ |
| 3 |
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяционное свойство Крейга над минимальной логикой Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. Т.20. №1. С.245-250. DOI: 10.33048/semi.2023.20.019 WOS Scopus РИНЦ |
| 4 |
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяционное свойство Крейга Алгебра и логика. 2023. Т.62. №3. С.415—423. DOI: 10.33048/alglog.2023.62.306 РИНЦ |
| 5 |
Maksimova L.L.
, Yun V.F.
Pretabularity and Craig’s interpolation property Algebra and Logic. 2023. V.62. N3. P.277-282. DOI: 10.1007/s10469-024-09742-5 WOS Scopus РИНЦ OpenAlex |
| 6 |
Maksimova L.L.
, Yun V.F.
Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4 Siberian Mathematical Journal. 2022. V.63. N2. P.286-298. DOI: 10.1134/S0037446622020070 WOS Scopus РИНЦ OpenAlex |
| 7 |
Максимова Л.Л.
, Юн В.Ф.
Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4 Сибирский математический журнал. 2022. Т.63. №2. С.344–359. DOI: 10.33048/smzh.2022.63.207 РИНЦ |
| 8 |
Maksimova L.L.
, Yun V.F.
Hybrid Extensions of the Minimal Logic Siberian Mathematical Journal. 2021. V.62. N5. P.876-881. DOI: 10.1134/S0037446621050104 WOS Scopus OpenAlex |
| 9 |
Максимова Л.Л.
, Юн В.Ф.
Разрешимые свойства логик В сборнике Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных технологий» : Сборник трудов. – ТвГУ., 2021. – C.45-49. – ISBN 9785760916822. DOI: 10.26456/mfcsics-21-5 OpenAlex |
| 10 |
Максимова Л.Л.
, Юн В.Ф.
Гибридные расширения минимальной логики Сибирский математический журнал. 2021. Т.62. №5. С.1084-1090. DOI: 10.33048/smzh.2021.62.510 OpenAlex |
| 11 |
Maksimova L.L.
, Yun V.F.
Perceptibility in pre-Heyting logics Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. V.17. P.1064-1072. DOI: 10.33048/semi.2020.17.080 WOS Scopus OpenAlex |
| 12 |
Maksimova L.L.
, Yun V.F.
The Interpolation Problem in Finite-Layered Pre-Heyting Logics Algebra and Logic. 2019. V.58. N2. P.144-157. DOI: 10.1007/s10469-019-09533-3 WOS Scopus OpenAlex |
| 13 |
Maksimova L.L.
, Yun V.F.
Recognizability in pre-Heyting and well-composed logics [Узнаваемость В Предгейтинговых И Стройных Логиках] Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019. V.16. P.427-434. DOI: 10.33048/semi.2019.16.024 WOS Scopus OpenAlex |
| 14 |
Максимова Л.Л.
, Юн В.Ф.
Проблема интерполяции в конечнослойных предгейтинговых логиках Алгебра и логика. 2019. Т.58. №2. С.210-228. DOI: 10.33048/alglog.2019.58.205 OpenAlex |
| 15 |
Maksimova L.L.
, Yun V.F.
Extensions of the Minimal Logic and the Interpolation Problem Siberian Mathematical Journal. 2018. V.59. N4. P.681-693. DOI: 10.1134/S0037446618040109 WOS Scopus OpenAlex |
| 16 |
Yun V.F.
On Linear Logic of Knowledge and Time Outstanding Contributions to Logic. 2018. V.15. P.339-349. DOI: 10.1007/978-3-319-69917-2_15 Scopus OpenAlex |
| 17 |
Yun V.F.
Recognizability of All WIP-Minimal Logics Siberian Mathematical Journal. 2018. V.59. N1. P.179-188. DOI: 10.1134/s0037446618010196 WOS Scopus OpenAlex |
| 18 |
Максимова Л.Л.
, Юн В.Ф.
Сильная вычислимость слоев над логикой Gl Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018. Т.15. С.35-47. DOI: 10.17377/semi.2018.15.005 WOS Scopus OpenAlex |
| 19 |
Юн В.Ф.
Узнаваемость всех WIP-минимальных логик Сибирский математический журнал. 2018. Т.59. №1. С.225-237. DOI: 10.17377/smzh.2018.59.119 |
| 20 |
Максимова Л.Л.
, Юн В.Ф.
Расширения минимальной логики и проблема интерполяции Сибирский математический журнал. 2018. Т.59. №4. С.863-878. DOI: 10.17377/smzh.2018.59.410 |
| 21 |
Maksimova L.L.
, Yun V.F.
Slices and Levels of Extensions of the Minimal Logic Siberian Mathematical Journal. 2017. V.58. N6. P.1042-1051. DOI: 10.1134/s0037446617060131 WOS Scopus OpenAlex |
| 22 |
Maksimova L.L.
, Yun V.F.
Strong Decidability and Strong Recognizability Algebra and Logic. 2017. V.56. N5. P.370-385. DOI: 10.1007/s10469-017-9459-0 WOS Scopus OpenAlex |
| 23 |
Максимова Л.Л.
, Юн В.Ф.
Слои и уровни расширений минимальной логики Сибирский математический журнал. 2017. Т.58. №6. С.1341-1353. DOI: 10.17377/smzh.2017.58.613 |
| 24 |
Максимова Л.Л.
, Юн В.Ф.
Сильная разрешимость и сильная узнаваемость Алгебра и логика. 2017. Т.56. №5. С.559-581. DOI: 10.17377/alglog.2017.56.503 |
Тезисы докладов (2) Подробнее
| 1 |
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяция В сборнике Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.12-13. РИНЦ |
| 2 |
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга и предтабличность над минимальной логикой В сборнике Тезисы докладов международной конференции "Мальцевские чтения". 2022. |
Доклады на конференциях (11) Подробнее
| 1 |
Максимова Л.Л.
, Юн В.Ф.
Пример логик с интерполяционным свойством CIP, сумма которых не имеет CIP Международная конференция "Мальцевские чтения" 11-15 нояб. 2024 |
| 2 |
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяция Мальцевские чтения : Международная конференция 13-17 нояб. 2023 |
| 3 |
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга и предтабличность над минимальной логикой Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 14-18 нояб. 2022 |
| 4 |
Максимова Л.Л.
, Юн В.Ф.
Разрешимые свойства логик Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных технологий» 03-08 дек. 2021 |
| 5 |
Максимова Л.Л.
, Юн В.Ф.
Сводимость свойств гибридных логик к свойствам напарников Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 20-24 сент. 2021 |
| 6 |
Максимова Л.Л.
, Юн В.Ф.
Узнаваемость логики OdF в классе предгейтинговых логик Международная конференция "Мальцевские чтения", Новосибирск, 16-19 ноября 2020 г. 16-19 нояб. 2020 |
| 7 |
Максимова Л.Л.
, Юн В.Ф.
Проблема сильной узнаваемости в расширениях логик Od и JX Международная конференция "Мальцевские чтения" 19-23 авг. 2019 |
| 8 |
Maksimova L.
, Yun V.
On strong recognizability of the intuitionistic logic European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019 11-16 Aug 2019 |
| 9 |
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство в расширениях Od Международная конференция «Мальцевские чтения» 19 авг. - 22 нояб. 2018 |
| 10 |
Maksimova L.L.
, Yun V.F.
Strong decidability of the classification over Gl 6th World Congress and School on Universal Logic June 16–26, 2018 Vichy, France. – Vichy: Vichy University, 2018. 16-26 Jun 2018 |
| 11 |
Максимова Л.Л.
, Юн В.Ф.
Распознавание свойств исчислений по правилам вывода Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г., 20-24 нояб. 2017 |
Внешние ссылки
ORCID:
0000-0002-4871-6281
ResearcherID:
G-1800-2019
Scopus ID:
56494981800
РИНЦ ID:
575637