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
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. Recognizable and perceptible logics and varieties. (English. Russian original) Zbl 1379.03007 Algebra Logic 56, No. 3, 245-250 (2017); translation from Algebra Logika 56, No. 3, 367-374 (2017). MSC: 03B53 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, Larisa LC and its pretabular relatives. (English) Zbl 1439.03051 Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 81-91 (2016). MSC: 03B47 03B20 03B45 × 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. The structure of slices over minimal logic. (English. Russian original) Zbl 1420.03045 Sib. Math. J. 57, No. 5, 841-848 (2016); translation from Sib. Mat. Zh. 57, No. 5, 1078-1087 (2016). MSC: 03B53 03B25 × 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
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
Maksimova, L. L. The Lyndon property and uniform interpolation over the Grzegorczyk logic. (English. Russian original) Zbl 1521.03034 Sib. Math. J. 55, No. 1, 118-124 (2014); translation from Sib. Mat. Zh. 55, No. 1, 147-156 (2014). MSC: 03B45 03B20 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Restricted interpolation over modal logic S4. (English. Russian original) Zbl 1311.03040 Algebra Logic 52, No. 4, 308-335 (2013); translation from Algebra Logika 52, No. 4, 461-501 (2013). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Classification of extensions of the modal logic S4. (English. Russian original) Zbl 1315.03029 Sib. Math. J. 54, No. 6, 1064-1075 (2013); translation from Sib. Mat. Zh. 54, No. 6, 1337-1352 (2013). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. The projective Beth property in well-composed logics. (English. Russian original) Zbl 1315.03046 Algebra Logic 52, No. 2, 116-136 (2013); translation from Algebra Logika 52, No. 2, 172-202 (2013). MSC: 03C40 03B20 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Amalgamation, interpolation, and implicit definability in varieties of algebras. (English. Russian original) Zbl 1361.03033 Proc. Steklov Inst. Math. 278, Suppl. 1, S66-S90 (2012); translation from Sovrem. Probl. Mat. 15, 15-39 (2011). MSC: 03C40 03G25 08B10 06B20 06D20 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. The decidability of Craig’s interpolation property in well-composed J-logics. (English. Russian original) Zbl 1285.03030 Sib. Math. J. 53, No. 5, 839-852 (2012); translation from Sib. Mat. Zh. 53, No. 5, 1048-1064 (2012). MSC: 03C40 03B25 03B53 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Interpolation and the projective Beth property in well-composed logics. (English. Russian original) Zbl 1285.03028 Algebra Logic 51, No. 2, 163-184 (2012); translation from Algebra Logika 51, No. 2, 244-275 (2012). MSC: 03C40 03B53 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Decidability of the weak interpolation property over the minimal logic. (English. Russian original) Zbl 1285.03029 Algebra Logic 50, No. 2, 106-132 (2011); translation from Algebra Logika 50, No. 2, 152-188 (2011). MSC: 03C40 03B25 03B53 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, Larisa Interpolation and definability over the logic Gl. (English) Zbl 1254.03069 Stud. Log. 99, No. 1-3, 249-267 (2011). MSC: 03C40 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Karpenko, A. V.; Maksimova, L. L. Simple weakly transitive modal algebras. (English. Russian original) Zbl 1255.03060 Algebra Logic 49, No. 3, 233-245 (2010); translation from Algebra Logika 49, No. 3, 346-365 (2010). MSC: 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Joint consistency in extensions of the minimal logic. (English. Russian original) Zbl 1208.03031 Sib. Math. J. 51, No. 3, 479-490 (2010); translation from Sib. Mat. Zh. 51, No. 3, 604-619 (2010). MSC: 03B53 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Decidability of the interpolation problem and of related properties in tabular logics. (English. Russian original) Zbl 1241.03032 Algebra Logic 48, No. 6, 426-448 (2009); translation from Algebra Logika 48, No. 6, 754-792 (2009). MSC: 03B55 03B45 03B53 03B25 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L. Restricted interpolation property in superintuitionistic logics. (English. Russian original) Zbl 1241.03031 Algebra Logic 48, No. 1, 33-53 (2009); translation from Algebra Logika 48, No. 1, 54-89 (2009). MSC: 03B55 03B45 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, Larisa Projective Beth property in extensions of Grzegorczyk logic. (English) Zbl 1106.03014 Stud. Log. 83, No. 1-3, 365-391 (2006). MSC: 03B45 03B55 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, Larisa Definability and interpolation in non-classical logics. (English) Zbl 1101.03027 Stud. Log. 82, No. 2, 271-291 (2006). MSC: 03C40 03B45 03B55 03G99 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. Complexity of some problems in positive and related calculi. (English) Zbl 1020.03005 Theor. Comput. Sci. 303, No. 1, 171-185 (2003). MSC: 03B20 03D15 03C40 03B25 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI