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.
Similar content being viewed by others
References
I. Johansson, “Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus,” Comp. Math., 4, 119–136 (1937).
W. Craig, “Three uses of Herbrand–Gentzen theorem in relating model theory and proof theory,” J. Symb. Log., 22, 269–285 (1957).
J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, New York (1985).
D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Oxford Univ. Press, Oxford (2005).
K. Schütte, “Der Interpolationssatz der intuitionistischen Prädikatenlogik,” Math. Ann., 148, No. 3, 192–200 (1962).
D. M. Gabbay, Semantical Investigations in Heyting’s Intuitionistic Logic, Synthese Library, 148, Reidel, Dordrecht (1981).
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.
L. L. Maksimova, “Joint consistency in extensions of the minimal logic,” Sib. Mat. Zh., 51, No. 3, 604–619 (2010).
L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras,” Algebra Logika, 16, No. 6, 643–681 (1977).
A. Robinson, “A result on consistency and its application to the theory of definition,” Nederl. Akad. Wet., Proc., Ser. A, 59, 47–58 (1956).
L. L. Maksimova, “Implicit definability and positive logics,” Algebra Logika, 42, No. 1, 65–93 (2003).
L. L. Maksimova, “Interpolation and definability in extensions of the minimal logic,” Algebra Logika, 44, No. 6, 726–750 (2005).
K. Segerberg, “Propositional logics related to Heyting’s and Johansson’s,” Theoria, 34, 26–61 (1968).
M. V. Stukachyova, “The disjunction property in the class of paraconsistent extensions of minimal logic,” Algebra Logika, 43, No. 2, 235–252 (2004).
L. L. Maksimova, “A method of proving interpolation in paraconsistent extensions of the minimal logic,” Algebra Logika, 46, No. 5, 627–648 (2007).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
L. L. Maksimova, “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Log., 105, No. 1, 83–102 (2000).
A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
J. McKinsey and A. Tarski, “Some theorems about the sententional calculi of Lewis and Heyting,” J. Symb. Log., 13, No. 1, 1–15 (1948).
L. L. Maksimova, “A weak form of interpolation in equational logic,” Algebra Logika, 47, No. 1, 94–107 (2008).
S. P. Odintsov, “Logic of classical refutability and class of extensions of minimal logic,” Log. Log. Phil., 9, 91–107 (2001).
L. L. Maksimova, “The projective Beth property and interpolation in positive and related logics,” Algebra Logika, 45, No. 1, 85–113 (2006).
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).
L. L. Maksimova, “Decidability of interpolation problem and of related properties in tabular logics,” Algebra Logika, 48, No. 6, 754–792 (2009).
Author information
Authors and Affiliations
Corresponding author
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
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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-011-9127-8