RUS  ENG
Full version
JOURNALS // Algebra i logika

Algebra Logika, 2003, Volume 42, Number 1, Pages 65–93 (Mi al18)

Implicit Definability and Positive Logics
L. L. Maksimova

This publication is cited in the following articles:
  1. L. L. Maksimova, V. F. Yun, “Pretabularity and Craig's Interpolation Property”, Algebra Logic, 2024  crossref
  2. J. J. Wannenburg, J. G. Raftery, “Semilinear De Morgan monoids and epimorphisms”, Algebra Univers., 85:1 (2024)  crossref
  3. L. L. Maksimova, V. F. Yun, “Craig's Interpolation Property in Pretabular Logics”, Sib Math J, 65:2 (2024), 344  crossref
  4. L. L. Maksimova, V. F. Yun, “Interpolyatsionnoe svoistvo Kreiga v predtablichnykh logikakh”, Sib. matem. zhurn., 65:2 (2024), 349–357  mathnet  crossref
  5. L. L. Maksimova, V. F. Yun, “Predtablichnost i interpolyatsionnoe svoistvo Kreiga nad minimalnoi logikoi”, Sib. elektron. matem. izv., 20:1 (2023), 245–250  mathnet  crossref
  6. L. L. Maksimova, V. F. Yun, “Predtablichnost i interpolyatsionnoe svoistvo Kreiga”, Algebra i logika, 62:3 (2023), 415–423  mathnet  crossref
  7. L. L. Maksimova, V. F. Yun, “Hybrid extensions of the minimal logic”, Siberian Math. J., 62:5 (2021), 876–881  mathnet  crossref  crossref  isi  elib
  8. Moraschini T. Raftery J.G. Wannenburg J.J., “Epimorphisms in Varieties of Subidempotent Residuated Structures”, Algebr. Universalis, 82:1 (2021), 6  crossref  mathscinet  isi  scopus
  9. L. L. Maksimova, V. F. Yun, “Perceptibility in pre-Heyting logics”, Sib. elektron. matem. izv., 17 (2020), 1064–1072  mathnet  crossref
  10. Moraschini T., Wannenburg J.J., “Epimorphism Surjectivity in Varieties of Heyting Algebras”, Ann. Pure Appl. Log., 171:9 (2020), 102824  crossref  mathscinet  zmath  isi  scopus
  11. Moraschini T. Raftery J.G. Wannenburg J.J., “Epimorphisms, Definability and Cardinalities”, Stud. Log., 108:2 (2020), 255–275  crossref  mathscinet  zmath  isi  scopus
  12. L. L. Maksimova, V. F. Yun, “Uznavaemost v predgeitingovykh i stroinykh logikakh”, Sib. elektron. matem. izv., 16 (2019), 427–434  mathnet  crossref
  13. L. L. Maksimova, V. F. Yun, “The interpolation problem in finite-layered pre-Heyting logics”, Algebra and Logic, 58:2 (2019), 144–157  mathnet  crossref  crossref  isi
  14. L. L. Maksimova, V. F. Yun, “Extensions of the minimal logic and the interpolation problem”, Siberian Math. J., 59:4 (2018), 681–693  mathnet  crossref  crossref  isi  elib
  15. Bezhanishvili G., Moraschini T., Raftery J.G., “Epimorphisms in Varieties of Residuated Structures”, J. Algebra, 492 (2017), 185–211  crossref  mathscinet  zmath  isi  scopus
  16. L. L. Maksimova, V. F. Yun, “Ischisleniya nad minimalnoi logikoi i nevlozhimost algebr”, Sib. elektron. matem. izv., 13 (2016), 704–715  mathnet  crossref
  17. L. L. Maksimova, V. F. Yun, “Interpolation over the minimal logic and Odintsov intervals”, Siberian Math. J., 56:3 (2015), 476–489  mathnet  crossref  crossref  mathscinet  isi  elib  elib
  18. L. L. Maksimova, “Negativnaya ekvivalentnost nad minimalnoi logikoi i interpolyatsiya”, Sib. elektron. matem. izv., 11 (2014), 1–17  mathnet
  19. L. L. Maksimova, “The projective Beth property in well-composed logics”, Algebra and Logic, 52:2 (2013), 116–136  mathnet  crossref  mathscinet  isi
  20. L. L. Maksimova, “Interpolation and the projective Beth property in well-composed logics”, Algebra and Logic, 51:2 (2012), 163–184  mathnet  crossref  mathscinet  zmath  isi
  21. L. L. Maksimova, “The decidability of craig's interpolation property in well-composed $\mathrm J$-logics”, Siberian Math. J., 53:5 (2012), 839–852  mathnet  crossref  mathscinet  isi
  22. Galatos N., Raftery J.G., “A Category Equivalence for Odd Sugihara Monoids and its Applications”, J. Pure Appl. Algebr., 216:10 (2012), 2177–2192  crossref  mathscinet  zmath  isi  scopus
  23. L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic”, Algebra and Logic, 50:2 (2011), 106–132  mathnet  crossref  mathscinet  zmath  isi
  24. L. L. Maksimova, “Amalgamation, Interpolation and Implicit Definability in Varieties of Algebras”, Proc. Steklov Inst. Math., 278, suppl. 1 (2012), S66–S90  mathnet  crossref  crossref  isi  elib
  25. Maksimova L., “Interpolation and Definability Over the Logic Gl”, Stud. Log., 99:1-3, SI (2011), 249–267  crossref  mathscinet  zmath  isi  elib  scopus
  26. L. L. Maksimova, “Joint consistency in extensions of the minimal logic”, Siberian Math. J., 51:3 (2010), 479–490  mathnet  crossref  mathscinet  zmath  isi
  27. Maksimova L., “Problem of restricted interpolation in superintuitionistic and some modal logics”, Logic Journal of the Igpl, 18:3 (2010), 367–380  crossref  mathscinet  zmath  isi  elib  scopus
  28. L. L. Maksimova, “Restricted interpolation property in superintuitionistic logics”, Algebra and Logic, 48:1 (2009), 33–53  mathnet  crossref  mathscinet  zmath  isi
  29. L. L. Maksimova, “Decidability of the interpolation problem and of related properties in tabular logics”, Algebra and Logic, 48:6 (2009), 426–448  mathnet  crossref  mathscinet  zmath  isi
  30. Ch. K. Gupta, E. I. Timoshenko, “The test rank of a soluble product of free Abelian groups”, Sb. Math., 199:4 (2008), 495–510  mathnet  mathnet  crossref  crossref  isi  scopus
  31. L. L. Maksimova, “A method of proving interpolation in paraconsistent extensions of the minimal logic”, Algebra and Logic, 46:5 (2007), 341–353  mathnet  crossref  mathscinet  zmath  isi
  32. L. L. Maksimova, “The Projective Beth Property and Interpolation in Positive and Related Logics”, Algebra and Logic, 45:1 (2006), 49–66  mathnet  crossref  mathscinet  zmath
  33. L. L. Maksimova, P. A. Shrainer, “Algoritmy raspoznavaniya tablichnosti i predtablichnosti v rasshireniyakh intuitsionistskogo ischisleniya”, Vestn. NGU. Ser. matem., mekh., inform., 6:3 (2006), 49–58  mathnet
  34. E. I. Timoshenko, “Computing Test Rank for a Free Solvable Group”, Algebra and Logic, 45:4 (2006), 254–260  mathnet  mathnet  crossref  scopus
  35. Larisa Maksimova, “Definability and Interpolation in Non-Classical Logics”, Stud Logica, 82:2 (2006), 271  crossref
  36. Larisa Maksimova, “On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic”, Electronic Notes in Theoretical Computer Science, 165 (2006), 107  crossref
  37. L. L. Maksimova, “Interpolation and Definability in Extensions of the Minimal Logic”, Algebra and Logic, 44:6 (2005), 407–421  mathnet  crossref  mathscinet  zmath


© Steklov Math. Inst. of RAS, 2025