We study the interpolation and Beth definability problems in propositional extensions of minimal logic J. Previously, all J-logics with the weak interpolation property (WIP) were described, and it was proved that WIP is decidable over J. In this paper, we deal with so-called well-composed J-logics, i.e., J-logics satisfying an axiom (⊥ → A) ∨ (A → ⊥). Representation theorems are proved for well-composed logics possessing Craig’s interpolation property (CIP) and the restricted interpolation property (IPR). As a consequence, we show that only finitely many well-composed logics share these properties and that IPR is equivalent to the projective Beth property (PBP) on the class of well-composed J-logics.
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).
E. W. Beth, “On Padoa’s method in the theory of definitions,” Indag. Math., 15, No. 4, 330–339 (1953).
L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras,” Algebra Logika, 16, No. 6, 643–681 (1977).
L. L. Maksimova, “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Log., 105, Nos. 1–3, 83–102 (2000).
L. L. Maksimova, “Decidability of the projective Beth property in varieties of Heyting algebras,” Algebra Logika, 40, No. 3, 290–301 (2001).
L. L. Maksimova, “Implicit definability and positive logics,” Algebra Logika, 42, No. 1, 65–93 (2003).
L. Maksimova, “Problem of restricted interpolation in superintuitionistic and some modal logics,” Log. J. IGPL, 18, No. 3, 367–380 (2010).
L. L. Maksimova, “The projective Beth property and interpolation in positive and related logics,” Algebra Logika, 45, No. 1, 85–113 (2006).
L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic,” Algebra Logika, 50, No. 2, 152–188 (2011).
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. Maksimova, “Interpolation and definability over the logic Gl,” Stud. Log., 99, Nos. 1–3, 249–267 (2011).
L. L. Maksimova, “Interpolation and definability in extensions of the minimal logic,” Algebra Logika, 44, No. 6, 726–750 (2005).
L. L. Maksimova, “Projective Beth properties in modal and superintuitionistic logics,” Algebra Logika, 38, No. 3, 316–333 (1999).
G. Kreisel, “Explicit definability in intuitionistic logic,” J. Symb. Log., 25, No. 4, 389–390 (1960).
L. Maksimova, “Restricted interpolation in modal logics,” in Adv. Modal Log., Vol. 4, King’s Coll. Publ., London (2003), pp. 297–311.
A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
S. Miura, “A remark on the intersection of two logics,” Nagoya Math. J., 26, 167–171 (1966).
S. Odintsov, “Logic of classic refutability and class of extensions of minimal logic,” Log. Log. Phil., 9, 91–107 (2001).
L. L. Maksimova, “A weak form of interpolation in equational logic,” Algebra Logika, 47, No. 1, 94–107 (2008).
B. Jonsson, “Algebras whose congruence lattices are distributive,” Math. Scand., 21, 110–121 (1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 51, No. 2, pp. 244-275, March-April, 2012.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Interpolation and the projective Beth property in well-composed logics. Algebra Logic 51, 163–184 (2012). https://doi.org/10.1007/s10469-012-9180-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-012-9180-y