|
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
|
Максимова Л.Л.
, Юн В.Ф.
Разрешимые свойства логик
In compilation
Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных технологий» : Сборник трудов.
– ТвГУ.,
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
|