Skip to main content
SpringerLink
Log in

Decidability of the weak interpolation property over the minimal logic

  • Published:
Algebra and Logic Aims and scope

We give a description of extensions for Johansson’s minimal logic J with the weak interpolation property. This property is proved to be decidable over J.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. I. Johansson, “Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus,” Comp. Math., 4, 119–136 (1937).

    MathSciNet  Google Scholar 

  2. W. Craig, “Three uses of Herbrand–Gentzen theorem in relating model theory and proof theory,” J. Symb. Log., 22, 269–285 (1957).

    Article  MathSciNet  MATH  Google Scholar 

  3. J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, New York (1985).

    Google Scholar 

  4. D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Oxford Univ. Press, Oxford (2005).

    Book  MATH  Google Scholar 

  5. K. Schütte, “Der Interpolationssatz der intuitionistischen Prädikatenlogik,” Math. Ann., 148, No. 3, 192–200 (1962).

    Article  MathSciNet  MATH  Google Scholar 

  6. D. M. Gabbay, Semantical Investigations in Heyting’s Intuitionistic Logic, Synthese Library, 148, Reidel, Dordrecht (1981).

  7. L. Maksimova, “Interpolation and joint consistency,” in We Will Show Them! Essays in Honour of D. Gabbay. Vol. 2, S. Artemov, H. Barringer, A. d’Avila Garcez, et al. (eds.) King’s Coll. Publ., London (2005), pp. 293–305.

    Google Scholar 

  8. L. L. Maksimova, “Joint consistency in extensions of the minimal logic,” Sib. Mat. Zh., 51, No. 3, 604–619 (2010).

    Article  MathSciNet  Google Scholar 

  9. L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras,” Algebra Logika, 16, No. 6, 643–681 (1977).

    MathSciNet  MATH  Google Scholar 

  10. A. Robinson, “A result on consistency and its application to the theory of definition,” Nederl. Akad. Wet., Proc., Ser. A, 59, 47–58 (1956).

    MATH  Google Scholar 

  11. L. L. Maksimova, “Implicit definability and positive logics,” Algebra Logika, 42, No. 1, 65–93 (2003).

    MathSciNet  MATH  Google Scholar 

  12. L. L. Maksimova, “Interpolation and definability in extensions of the minimal logic,” Algebra Logika, 44, No. 6, 726–750 (2005).

    MathSciNet  MATH  Google Scholar 

  13. K. Segerberg, “Propositional logics related to Heyting’s and Johansson’s,” Theoria, 34, 26–61 (1968).

    Article  MathSciNet  Google Scholar 

  14. M. V. Stukachyova, “The disjunction property in the class of paraconsistent extensions of minimal logic,” Algebra Logika, 43, No. 2, 235–252 (2004).

    MathSciNet  Google Scholar 

  15. L. L. Maksimova, “A method of proving interpolation in paraconsistent extensions of the minimal logic,” Algebra Logika, 46, No. 5, 627–648 (2007).

    MathSciNet  MATH  Google Scholar 

  16. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).

    MATH  Google Scholar 

  17. L. L. Maksimova, “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Log., 105, No. 1, 83–102 (2000).

    Article  MathSciNet  MATH  Google Scholar 

  18. A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).

    Google Scholar 

  19. J. McKinsey and A. Tarski, “Some theorems about the sententional calculi of Lewis and Heyting,” J. Symb. Log., 13, No. 1, 1–15 (1948).

    Article  MathSciNet  MATH  Google Scholar 

  20. L. L. Maksimova, “A weak form of interpolation in equational logic,” Algebra Logika, 47, No. 1, 94–107 (2008).

    MathSciNet  MATH  Google Scholar 

  21. S. P. Odintsov, “Logic of classical refutability and class of extensions of minimal logic,” Log. Log. Phil., 9, 91–107 (2001).

    MathSciNet  MATH  Google Scholar 

  22. L. L. Maksimova, “The projective Beth property and interpolation in positive and related logics,” Algebra Logika, 45, No. 1, 85–113 (2006).

    MathSciNet  MATH  Google Scholar 

  23. V. A. Yankov, “The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures,” Dokl. Akad. Nauk SSSR, 151, No. 6, 1293–1294 (1963).

    MathSciNet  Google Scholar 

  24. L. L. Maksimova, “Decidability of interpolation problem and of related properties in tabular logics,” Algebra Logika, 48, No. 6, 754–792 (2009).

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia

    L. L. Maksimova

  2. Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia

    L. L. Maksimova

Authors
  1. L. L. Maksimova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to L. L. Maksimova.

Additional information

Supported by RFBR (project No. 09-01-00090a), by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (grant NSh-3606.2010.1), and by the Russian Ministry of Education through the Analytical Departmental Target Program (ADTP) “Development of Scientific Potential of the Higher School of Learning” (project No. 2.1.1.10726).

Translated from Algebra i Logika, Vol. 50, No. 2, pp. 152–188, March-April, 2011.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maksimova, L.L. Decidability of the weak interpolation property over the minimal logic. Algebra Logic 50, 106–132 (2011). https://doi.org/10.1007/s10469-011-9127-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-011-9127-8

Keywords

Search

Navigation