Maksimova, Larisa L’vovna; Yun, Veta Fedorovna Pretabularity and Craig’s interpolation problem over the minimal logic. (Russian. English summary) Zbl 07896768 Sib. Èlektron. Mat. Izv. 20, No. 1, 245-250 (2023). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Maksimova, L. L.; Yun, V. F. Pretabularity and Craig’s interpolation property. (English. Russian original) Zbl 07849286 Algebra Logic 62, No. 3, 277-282 (2023); translation from Algebra Logika 62, No. 3, 415-423 (2023). MSC: 03-XX 20-XX × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Algorithms for recognizing restricted interpolation over the modal logic S4. (English. Russian original) Zbl 1530.03081 Sib. Math. J. 63, No. 2, 286-298 (2022); translation from Sib. Mat. Zh. 63, No. 2, 344-359 (2022). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Hybrid extensions of the minimal logic. (English. Russian original) Zbl 1534.03036 Sib. Math. J. 62, No. 5, 876-881 (2021); translation from Sib. Mat. Zh. 62, No. 5, 1084-1090 (2021). MSC: 03B53 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Perceptibility in pre-Heyting logics. (English) Zbl 1443.03016 Sib. Èlektron. Mat. Izv. 17, 1064-1072 (2020). MSC: 03B53 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. The interpolation problem in finite-layered pre-Heyting logics. (English. Russian original) Zbl 1468.03030 Algebra Logic 58, No. 2, 144-157 (2019); translation from Algebra Logika 58, No. 2, 210-228 (2019). MSC: 03B53 06D20 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Yun, Veta F. On linear logic of knowledge and time. (English) Zbl 1429.03075 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 339-349 (2018). MSC: 03B44 03B45 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Extensions of the minimal logic and the interpolation problem. (English. Russian original) Zbl 1469.03078 Sib. Math. J. 59, No. 4, 681-693 (2018); translation from Sib. Mat. Zh. 59, No. 4, 863-878 (2018). MSC: 03B53 03C40 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, Larisa L’vovna; Yun, Veta Fedorovna Strong computability of slices over the logic GL. (Russian. English summary) Zbl 1397.03048 Sib. Èlektron. Mat. Izv. 15, 35-47 (2018). MSC: 03B53 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Strong decidability and strong recognizability. (English. Russian original) Zbl 1420.03046 Algebra Logic 56, No. 5, 370-385 (2017); translation from Algebra Logika 56, No. 5, 559-581 (2017). MSC: 03B53 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Layers over minimal logic. (English. Russian original) Zbl 1396.03067 Algebra Logic 55, No. 4, 295-305 (2016); translation from Algebra Logika 55, No. 4, 449-464 (2016). MSC: 03B53 03B20 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, Veta F. The tabularity problem over the minimal logic. (English. Russian original) Zbl 1420.03024 Sib. Math. J. 57, No. 6, 1034-1043 (2016); translation from Sib. Mat. Zh. 57, No. 6, 1320-1332 (2016). MSC: 03B25 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Recognizable logics. (English. Russian original) Zbl 1347.03055 Algebra Logic 54, No. 2, 167-182 (2015); translation from Algebra Logika 54, No. 2, 252-274 (2015). MSC: 03B55 03B53 03C40 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Yun, V. F. On the linear logic of knowledge and time with intransitive time relation. (English. Russian original) Zbl 1328.03016 Sib. Math. J. 56, No. 3, 565-568 (2015); translation from Sib. Mat. Zh. 56, No. 3, 715-720 (2015). MSC: 03B42 03B44 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Interpolation over the minimal logic and Odintsov intervals. (English. Russian original) Zbl 1351.03018 Sib. Math. J. 56, No. 3, 476-489 (2015); translation from Sib. Mat. Zh. 56, No. 3, 600-616 (2015). MSC: 03B53 03C40 × Cite Format Result Cite Review PDF Full Text: DOI