Science activity
Articles (12) More info
| 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 |
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 |
| 3 |
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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
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 |
| 10 |
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 |
| 11 |
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 |
| 12 |
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 |
Conference attendances (2) More info
| 1 |
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 |
| 2 |
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 |
Identifiers
ORCID:
0000-0002-4871-6281
ResearcherID:
G-1800-2019
Scopus ID:
56494981800
Elibrary ID:
575637