Literature cited
A. V. Kuznetsov and A. Yu. Muravitsky, “On superintuitionistic logics as fragments of proof logic extensions,” Studia Logica,45, No. 1, 77–99 (1986).
A. V. Kuznetsov, “On the propositional calculus of intuitionistic provability,” Dokl. Akad. Nauk SSSR,283, No. 1, 27–30 (1985).
L. L. Maksimova, “Craig's Theorem in superintuitionistic logics and amalgamable varieties of pseudoboolean algebras,” Algebra Logika,16, No. 6, 643–681 (1977).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, International Pubns. Service, New York (1973).
B. Jonsson, “Extensions of relational structures,” in: The Theory of Models, North-Holland, Amsterdam (1965), pp. 146–157.
A. G. Kurosh, Lectures in General Algebra [in Russian], Nauka, Moscow (1962).
A. Wronsky, “Intermediate logics and disjunction property,” Rep. Math. Logic,1, 39–51.
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 47, No. 5, pp. 88–99, May 1990.
Rights and permissions
About this article
Cite this article
Simonova, I.G. Interpolation property for extensions of intuitionistic proof logic. Mathematical Notes of the Academy of Sciences of the USSR 47, 483–490 (1990). https://doi.org/10.1007/BF01158092
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01158092