Abstract
We consider some extensions of Johansson’s minimal logic J. Hybrid logics extend the intersection of the intuitionistic logic Int and the negative logic Neg. We show that the perceptibility and recognizability of a hybrid logic are reduced to the analogous properties of its intuitionistic and negative counterparts. Also, the interpolation properties of a hybrid logic are reduced to those of its intuitionistic and negative counterparts. The restricted interpolation property IPR and the projective Beth property PBP are known to be equivalent in the well-composed logics. Here we give an easier proof of this fact for hybrid logics.
Similar content being viewed by others
References
Odintsov S. P., Constructive Negations and Paraconsistency, Springer, Dordrecht (2008) (Ser. Trends in Logic; Vol. 26).
Maksimova L. L. and Yun V. F., “Perceptibility in pre-Heyting logics,” Sib. Electr. Math. Reports, vol. 17, 1064–1072 (2020).
Johansson I., “Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus,” Compos. Math., vol. 4, 119–136 (1937).
Maksimova L. L. and Yun V. F., “Recognizable logics,” Algebra Logic, vol. 54, no. 2, 183–187 (2015).
Maksimova L. L. and Yun V. F., “Strong decidability and strong recognizability,” Algebra Logic, vol. 56, no. 5, 370–385 (2017).
Gabbay D. M. and Maksimova L., Interpolation and Definability: Modal and Intuitionistic Logics, Oxford Univ., Oxford (2005).
Craig W., “Three uses of the Herbrand–Gentzen theorem in relating model theory and proof theory,” J. Symb. Log., vol. 22, 269–285 (1957).
Maksimova L., “Restricted interpolation in modal logics,” in: Advances in Modal Logic, vol. 4, King’s College, London (2003), 297–311.
Kreisel G., “Explicit definability in intuitionistic logic,” J. Symb. Log., vol. 25, no. 4, 389–390 (1960).
Maksimova L. L., “Decidability of the weak interpolation property over the minimal logic,” Algebra Logic, vol. 50, no. 2, 106–132 (2011).
Maksimova L. L., “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras,” Algebra Logic, vol. 16, no. 6, 427–455 (1977).
Maksimova L., “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Logic, vol. 105, no. 1, 83–102 (2000).
Maksimova L. L., “Implicit definability and positive logics,” Algebra Logic, vol. 42, no. 1, 37–53 (2003).
Maksimova L. L., “Interpolation and the projective Beth property in well-composed logics,” Algebra Logic, vol. 51, no. 2, 163–184 (2012).
Maksimova L. L., “The projective Beth property in well-composed logics,” Algebra Logic, vol. 52, no. 2, 116–136 (2013).
Maksimova L. L., “Decidability of the projective Beth property in varieties of Heyting algebras,” Algebra Logic, vol. 40, no. 3, 290–301 (2001).
Funding
The work was carried out in the framework of the State Task to the Sobolev Institute of Mathematics (Project 0314–2019–0002 “Formal Logical Languages, Their Semantics, and Algorithmic and Structural Properties”).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2021, Vol. 62, No. 5, pp. 1084–1090. https://doi.org/10.33048/smzh.2021.62.510
To Sergey Savost’yanovich Goncharov on His Anniversary.
Rights and permissions
About this article
Cite this article
Maksimova, L.L., Yun, V.F. Hybrid Extensions of the Minimal Logic. Sib Math J 62, 876–881 (2021). https://doi.org/10.1134/S0037446621050104
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446621050104
Keywords
- minimal logic
- Johansson’s logic
- hybrid logic
- algorithmic properties
- decidability
- recognizable logic
- perceptible formula
- interpolation properties