Мақаланы E-mail арқылы жіберу The Interpolation Problem in Finite-Layered Pre-Heyting Logics
- Авторлар: Maksimova L.L.1,2, Yun V.F.1,2
-
Мекемелер:
- Sobolev Institute of Mathematics
- Novosibirsk State University, ul
- Шығарылым: Том 58, № 2 (2019)
- Беттер: 144-157
- Бөлім: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/234128
- DOI: https://doi.org/10.1007/s10469-019-09533-3
- ID: 234128
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
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.
Авторлар туралы
L. Maksimova
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Хат алмасуға жауапты Автор.
Email: lmaksi@math.nsc.ru
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
V. Yun
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Email: lmaksi@math.nsc.ru
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
Қосымша файлдар
