Interpolation properties of superintuitionistic logics
Tóm tắt
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:
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.
Tài liệu tham khảo
W. Craig, Three uses of Herbrand-Gentzen 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 pseudo-Boolean 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 topo-Boolean 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 m-valued 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, North-Holland, 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.