The Interpolation Problem in Finite-Layered Pre-Heyting Logics
- Authors: Maksimova L.L.1,2, Yun V.F.1,2
-
Affiliations:
- Sobolev Institute of Mathematics
- Novosibirsk State University, ul
- Issue: Vol 58, No 2 (2019)
- Pages: 144-157
- Section: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/234128
- DOI: https://doi.org/10.1007/s10469-019-09533-3
- ID: 234128
Cite item
Abstract
The interpolation problem over Johansson’s minimal logic J is considered. We introduce a series of Johansson algebras, which will be used to prove a number of necessary conditions for a J-logic to possess Craig’s interpolation property (CIP). As a consequence, we deduce that there exist only finitely many finite-layered pre-Heyting algebras with CIP.
About the authors
L. L. Maksimova
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Author for correspondence.
Email: lmaksi@math.nsc.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
V. F. Yun
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Email: lmaksi@math.nsc.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
Supplementary files
