The Interpolation Problem in Finite-Layered Pre-Heyting Logics Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2019, Volume: 58, Number: 2, Pages: 144-157 Pages count : 14 DOI: 10.1007/s10469-019-09533-3 | ||||
| Tags | Craig’s interpolation property; finite-layered pre-Heyting logic; Johansson algebra | ||||
| Authors |
|
||||
| Affiliations |
|
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. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.
Cite:
Maksimova L.L.
, Yun V.F.
The Interpolation Problem in Finite-Layered Pre-Heyting Logics
Algebra and Logic. 2019. V.58. N2. P.144-157. DOI: 10.1007/s10469-019-09533-3 WOS Scopus OpenAlex
The Interpolation Problem in Finite-Layered Pre-Heyting Logics
Algebra and Logic. 2019. V.58. N2. P.144-157. DOI: 10.1007/s10469-019-09533-3 WOS Scopus OpenAlex
Original:
Максимова Л.Л.
, Юн В.Ф.
Проблема интерполяции в конечнослойных предгейтинговых логиках
Алгебра и логика. 2019. Т.58. №2. С.210-228. DOI: 10.33048/alglog.2019.58.205 OpenAlex
Проблема интерполяции в конечнослойных предгейтинговых логиках
Алгебра и логика. 2019. Т.58. №2. С.210-228. DOI: 10.33048/alglog.2019.58.205 OpenAlex
Identifiers:
| Web of science: | WOS:000479251100005 |
| Scopus: | 2-s2.0-85069510930 |
| OpenAlex: | W2963200439 |