Abstract
A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.
Theorem on interpolation. For every intermediate logic L the following statements are equivalent:

(i)
Craig's interpolation theorem holds in L,

(ii)
L possesses the generalized interpolation property,

(iii)
Robinson's consistency statement is true in L.
There are just 7 intermediate logics in which Craig's theorem holds.
Besides, Craig's interpolation theorem holds in L iff all the modal companions of L possess Craig's interpolation property restricted to those formulas in which every variable is proceeded by necessity symbol.
Similar content being viewed by others
References
W. Craig, Three uses of HerbrandGentzen theorem in relating model theory and proof theory, Journal of Symbolic Logic 22 (1957), pp. 269–285.
J. Czermak, Interpolation theorem for some modal logics, Logic Colloquium 1973, Proceedings, Bristol 1973, pp. 381–393 (1975).
D. Gabbay, Semantic proof of the Craig interpolation theorem for intuitionistic logic and its extensions I, II, Logic Colloquium '69, Amsterdam, 1971, pp. 391–410.
D. Gabbay, Craig's interpolation theorem for intuitionistic logic and its extensions, III, Journal of Symbolic Logic 42 (1977), pp. 269–271.
D. Gabbay, Craig's interpolation theorem for modal logics, Lecture Notes Mathematics 255 (1972), pp. 111–127.
T. Hosoi, On intermediate logics I, Journal of the Faculty of Sciences, University of Tokyo, Section I A, Mathematics 14 (1967), pp. 293–312.
J. G. McKinsey, A. Tarski, Some theorems about the sentential calculi of Lewis and Heyting, Journal of Symbolic Logic 13 (1948), pp. 1–15.
L. L. Maksimova, V. V. Rybakov, On a lattice of normal modal logics, Algebra i Logika 13, no 2 (1974), pp. 188–216.
—, Prefinite extensions of logic S4 of Lewis, Algebra i Logika 14 no 1 (1975), pp. 28–55.
—, Modal logics of finite levels, Algebra i Logika 14 no 3 (1975), pp. 304–319.
—, Craig's theorem in superintuitionistic logics and amalgamated varieties of pseudoBoolean algebras, Algebra i Logika 16 no 6 (1977), pp. 643–681.
—, Craig's interpolation theorem and amalgamated varieties, Doklady AN SSSR 237 no 6 (1977), pp. 1281–1284.
, Interpolation theorems in modal logics and amalgamated varieties of topoBoolean algebras, Algebra i Logika 18 (1979).
—, Principles of variables separation in propositional logics, Algebra i Logika 15 no 2 (1976), pp. 168–184.
H. Rasiowa, The Craig interpolation theorem, for mvalued predicate calculi, Bulletin de l' Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 20 (1972), pp. 341–346.
H. Rasiowa, R. Sikorski, The Mathematics of Metamathematics, Warszawa, 1963.
A. Robinson, Introduction to Model Theory and to the Metamathematics of Algebra, NorthHolland, Amsterdam, 1963.
G. F. Schumm, Interpolation in S5 and related systems, Reports on Mathematical Logic 6 (1976), pp. 107–110.
K. Schütte, Der Interpolationsatz der Intuitionistischen Prädikatenlogik, Mathematische Annalen 148 (1962), pp. 192–200.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Interpolation properties of superintuitionistic logics. Stud Logica 38, 419–428 (1979). https://doi.org/10.1007/BF00370479
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370479