Аннотация
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.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 144-157 |
Число страниц | 14 |
Журнал | Algebra and Logic |
Том | 58 |
Номер выпуска | 2 |
DOI | |
Состояние | Опубликовано - 15 мая 2019 |