Research output: Contribution to journal › Article › peer-review
The Interpolation Problem in Finite-Layered Pre-Heyting Logics. / Maksimova, L. L.; Yun, V. F.
In: Algebra and Logic, Vol. 58, No. 2, 15.05.2019, p. 144-157.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - The Interpolation Problem in Finite-Layered Pre-Heyting Logics
AU - Maksimova, L. L.
AU - Yun, V. F.
PY - 2019/5/15
Y1 - 2019/5/15
N2 - 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.
AB - 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.
KW - Craig’s interpolation property
KW - finite-layered pre-Heyting logic
KW - Johansson algebra
KW - DECIDABILITY
KW - MINIMAL LOGIC
KW - PROPERTY
KW - Craig's interpolation property
UR - http://www.scopus.com/inward/record.url?scp=85069510930&partnerID=8YFLogxK
U2 - 10.1007/s10469-019-09533-3
DO - 10.1007/s10469-019-09533-3
M3 - Article
AN - SCOPUS:85069510930
VL - 58
SP - 144
EP - 157
JO - Algebra and Logic
JF - Algebra and Logic
SN - 0002-5232
IS - 2
ER -
ID: 21048503