RUS  ENG
Full version
JOURNALS // Algebra i logika

Algebra Logika, 2005, Volume 44, Number 6, Pages 726–750 (Mi al138)

Interpolation and Definability in Extensions of the Minimal Logic
L. L. Maksimova

This publication is cited in the following articles:
  1. 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
  2. Diener H., McKubre-Jordens M., “Classifying Material Implications Over Minimal Logic”, Arch. Math. Log., 59:7-8 (2020), 905–924  crossref  mathscinet  zmath  isi  scopus
  3. 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
  4. 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
  5. L. L. Maksimova, “Negativnaya ekvivalentnost nad minimalnoi logikoi i interpolyatsiya”, Sib. elektron. matem. izv., 11 (2014), 1–17  mathnet
  6. L. L. Maksimova, “The projective Beth property in well-composed logics”, Algebra and Logic, 52:2 (2013), 116–136  mathnet  crossref  mathscinet  isi
  7. 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
  8. 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
  9. 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
  10. Maksimova L., “Interpolation and Definability Over the Logic Gl”, Stud. Log., 99:1-3, SI (2011), 249–267  crossref  mathscinet  zmath  isi  elib  scopus
  11. L. L. Maksimova, “Joint consistency in extensions of the minimal logic”, Siberian Math. J., 51:3 (2010), 479–490  mathnet  crossref  mathscinet  zmath  isi
  12. Maksimova L., “Problem of restricted interpolation in superintuitionistic and some modal logics”, Log. J. Igpl, 18:3 (2010), 367–380  crossref  mathscinet  zmath  isi  scopus
  13. 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
  14. 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
  15. Studies in Logic and the Foundations of Mathematics, 151, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007, 463  crossref
  16. Studies in Logic and the Foundations of Mathematics, 151, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007, 479  crossref
  17. 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
  18. Dimiter Vakarelov, “Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation”, Stud Logica, 84:1 (2006), 105  crossref
  19. Larisa Maksimova, “Definability and Interpolation in Non-Classical Logics”, Stud Logica, 82:2 (2006), 271  crossref
  20. Larisa Maksimova, “On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic”, Electronic Notes in Theoretical Computer Science, 165 (2006), 107  crossref


© Steklov Math. Inst. of RAS, 2025