Recent Publications

D.M.Gabbay, L.Maksimova. Interpolation and Definability: Modal and Intuitionistic Logics. Oxford University Press, 2005.

I.A.Lavrov, L.L.Maksimova. Problems in Set Theory, Mathematical Logic and Recursion Theory (in Russian). 1st Edition – Moscow, Nauka 1974, 5th Edition -- Moscow, Fizmatlit, 2002, 2003, 2004, 2006. Translations: English – New York, Plenum/Kluwer 2003; Hungarian – Budapest, Muszaki Konyvkiado 1987, Polish – Warszawa, Wydawnictwo Naukowe PWN 2004.

1. Максимова Л.Л. Определимость в нормальных расширениях логики S4.

Translated as: Maksimova L.L. Definability in normal extensions of the S4 logic. Algebra and Logic, 2004,

2. Максимова Л.Л. Интерполяция и определимость в расширениях минимальной логики.

Translated as: Maksimova L.L. Interpolation and definability in extensions of the minimal logic. Algebra and Logic, 2005, 44, N 6, 726-750.

3. Maksimova L.L. Interpolation and Joint Consistency. In: We Will Show Them! Essays in Honour of Dov Gabbay. Volume 2, S. Artemov, H. Barringer, A. d'Avila Garcez, L. Lamb and J. Woods, eds. King’s College Publications, London, 2005, pp. 293-305.

4. Максимова Л.Л. Проективное свойство Бета и интерполяция в позитивных и близких

к ним логиках. Алгебра и логика, 2006, т. 45, N 1, 85-113.

Translated as: Maksimova L.L. Projective Beth property and interpolation in positive and related logics.

5. Л.Л. Максимова, П.А. Шрайнер, Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления, Вестник НГУ, серия "Математика, механика, информатика", 6 (2006), N 3, 49-58.

6. L.L.Maksimova. Definability and interpolation in non-classical logics. Studia Logica, 82 (2006), 271-291.

7. Maksimova L. Projective Beth property in extensions of Grzegorczyk logic. Studia Logica, 83 (2006), 365-391.

8. L.Maksimova. Decidable properties of logical calculi and of varieties of algebras. In:

V.Stoltenberg-Hansen and J.Vaananen (Eds), Logic Colloquium '03, Ser. Lecture Notes in Logic 24, Association for Symbolic Logic, 2006, 146-166.

9. L.Maksimova. On interpolation problem in paraconsistent extensions of minimal logic, In: Proceedings of WoLLIC'2006, G. Mints & R. de Queiroz (eds.), Electronic Notes in Theoretical Computer Science, Volume 165, ISSN 1571-0661, Elsevier Science Pub., 2006, 107-119.

10. Максимова Л.Л. Метод доказательства интерполяции в паранепротиворечивых

расширениях минимальной логики// Алгебра и логика, 46, N 5 (2007), 627-648.

Translated as: Maksimova L.L. A method for proving interpolation in paraconsistent extensions of the minimal logic. Algebra and Logic, 46, N 5 (2007), 627-648.

11. L.Maksimova. On modal Grzegorczyk logic. Fundamenta Informaticae, 81, no. 1-3 (2007), p. 203-210.

12. Максимова Л.Л. Слабая форма интерполяции в эквациональной логике //Алгебра и логика, 47, N 1 (2008), 94-107.

Translated as: Maksimova L.L. Weak form of interpolation in equational logic. Algebra and Logic, 47, N 1 (2008), 56 -64.

13. Максимова Л.Л., Орловска Е. Свойство Бета и интерполяция в алгебрах и логиках, основанных на решетках // Алгебра и логика, 47, N 3 (2008), 307-334.

Translated as: Maksimova L.L., Orlowska E. Beth property and interpolation in lattice based algebras and logics // Algebra and Logic, 47, N 3 (2008), 307-334.

14. Maksimova L. Interpolation and implicit definability in extensions of the provability logic //

15. Максимова Л.Л. Ограниченное интерполяционное свойство в суперинтуиционистских логиках,

Translated as: L.L.Maksimova. Restricted interpolation property in superintuitionistic logics. Algebra and Logic, 48, N 1 (2009), 54-89.

16. L.Maksimova. Problem of restricted interpolation in superintuitionistic and some modal logics.

Logic Journal of IGPL, 18, no. 3 (2010) 367-380 (2009; doi: 10.1093/jigpal/jzp040)

17. Л.Л.Максимова. Разрешимость проблемы интерполяции и родственных свойств в табличных логиках. Алгебра и логика,

48, N 6 (2009), 754-792.

Translated as: L.L.Maksimova. Decidability of interpolation problem and related properties in tabular logics. Algebra and Logic,

48, no. 6 (1009), pp. 426-448.

18. А.В.Карпенко, Л.Л.Максимова. Простые слабо транзитивные модальные алгебры. Алгебра и логика, 49, N 3 (2010), 347-366.

Translated as: A.V.Karpenko, L.L.Maksimova. Simple weakly transitive modal algebras. Algebra and Logic,

49, no. 3 (2010), 233--245.

19. L.Maksimova. Weak interpolation in extensions of minimal logic. In: Proofs, Categories and Computations.

Essays in honor of Grigori Mints; Edited by S. Feferman and W. Sieg (With the collaboration of V. Kreinovich, V. Lipschitz and Ruy de Queiroz),

College Publications, London, 2010, 159-170. 978-1-84890-012-7.

20. Л.Л.Максимова. Совместная непротиворечивость в расширениях минимальной логики.

Сибирский математический журнал, 51, N 3 (2010), 604-619.

Translated as: L.L.Maksimova. Joint consistency in extensions of the minimal logic. Siberian Mathematical Journal,

51, no. 3 (2010), 481-492.

21. Л.Л.Максимова. Разрешимость слабого интерполяционного свойства над минимальной логикой.

Алгебра и логика, 50, no. 2 (2011), 152--188.

Translated as: L.L.Maksimova. Decidability of weak interpolation property over the minimal logic. Algebra and Logic,

50, no. 2 (2011), 106—132.

22. L.Maksimova. Interpolation and Definability over the Logic Gl. Studia Logica, 99, Issues 1-3 (2011), 249-267.

http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s11225-011-9351-1

23. Л. Л. Максимова. Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр.

Конференция <Мальцевские чтения>, Современные проблемы математики., 15, МИАН, М., 2011, 15--39.

Translated as: L.L.Maksimova, Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras,

Proceedings of the Steklov Institute of Mathematics, 2012, v. 278, issue 1 Supplement, pp. 66-90.

24. Л.Л.Максимова. Интерполяция и проективное свойство Бета в стройных логиках. Алгебра и логика, 51, no. 2 (2012), 244--275.

Translated as: L.L.Maksimova. Interpolation and projective Beth property in well-composed logics. Algebra and Logic, no. 2 (2012), 163--184.

25. L.Maksimova. Interpolation and Beth definability over the minimal logic. Advances in Modal Logic, Volume 9, T.Bolander, T.

Brauner, S.Ghilardi, L,Moss, eds. College Publications, pp. 459-463, 2012.

26. Л.Л.Максимова. Разрешимость интерполяционного свойства Крейга в стройных J-логиках.

Сибирский математический журнал, 53, no. 5 (2012), 1048-1064.

Translated as: L.L.Maksimova. Decidability of Craig’s interpolation property in well-composed J-logics.

Siberian Math. Journal, 53, no. 5 (2012), 839-852.

1. L.Maksimova. Decidable properties of logical calculi and of varieties of algebras.

Logic Colloquium 2003, Helsinki, Finland, Abstracts; Bulletin of Symbolic Logic, 2004,

2. L.Maksimova. Interpolation and projective Beth property in extensions of minimal logic.

Logic Colloquium 2004, Turin, Italy, p. 192; Bulletin of Symbolic Logic, 2005, 11, N 2, p. 309.

3. Maksimova L. Implicit definability and interpolation in non-classical logics .UNILOG'05,

Handbook of First World Congress and School on Universal Logic, Montreaux - Switzerland, 2005, p. 78.

4. L.Maksimova. On a form of interpolation in modal logic, Logic Colloquium 2005, Athens, Greece, p. 94; Bull. Symbolic Logic, 12, no.2 (2006), p.340.

5. L.Maksimova. On interpolation problem in paraconsistent extensions of minimal logic,

6. L.Maksimova. Weak interpolation in equational logic. Logic Colloquium 2006, Nijmegen,

7. Maksimova L.L. Decidability of some properties in tabular logics // 13^th Intern. Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts, Beijing (China), 2007, 124-125.

8. Maksimova L. Interpolation and relared properties in semilattice based varieties // Logic Colloquium 2008 (Bern, Switzerland), Abstracts, 2008, 40-41; Bull. Symbolic Logic, 15, no. 1 (2009), p. 122.

9. Maksimova L. Restricted interpolation in modal and superintuitionistic logics. // Advances in Modal Logic 2008, Submitted Abstracts of AiML 2008, Nancy, France, 2008, 29-33.

10. L. Maksimova. Weak interpolation in extensions of Johansson's minimal logic. Logic Colloquium 2009 (Sofia, Bulgaria), Abstracts, 2009; 66—67;

Bull. Symbolic Logic, 16, no. 1 (2010), 125--126.

11. L.Maksimova. Algebraic approach to non-classical logics. Mal’tsev conference 2009 (Novosibirsk), Abstracts, 2009. Slides.pdf

12. L.Maksimova. Joint consistency and weak interpolation over the minimal logic. Logic Colloquium 2010 (Paris, July 25-31), Abstracts

of contributed talks, 35--36.

13. L.Maksimova.Weak interpolation property over the minimal logic. Advances in Modal Logic 2010, Extended Abstracts. Steklov

Mathematical Institute, Moscow, 48--52.

14. Л.Л.Максимова. Неклассические логики и алгебра. "Воображаемая логика" Н.А.Васильева и современные неклассические логики.

Материалы междунар. конф., Казань, 11-15 октября 2010 г., с. 32. Труды Матем. центра им. Лобачевского, т. 41.

15. L.Maksimova. Well-composed J-logics and interpolation. TACL 2011, 5th Int. Conf. on Topology, Algebra and Categories in Logic,

Marseilles, August 26-30, 2011, pp. 203--206.

16. L.L.Maksimova. Weak interpolation and negative equivalence in extensions of minimal logic. Мальцевские чтения 2011, Тез. докл.,

Новосибирск 2011, p. 141.