Standard

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 journalArticlepeer-review

Harvard

APA

Vancouver

Maksimova LL, Yun VF. The Interpolation Problem in Finite-Layered Pre-Heyting Logics. Algebra and Logic. 2019 May 15;58(2):144-157. doi: 10.1007/s10469-019-09533-3

Author

Maksimova, L. L. ; Yun, V. F. / The Interpolation Problem in Finite-Layered Pre-Heyting Logics. In: Algebra and Logic. 2019 ; Vol. 58, No. 2. pp. 144-157.

BibTeX

@article{ff8ef54f8e6b4a5d834f43d21028c366,
title = "The Interpolation Problem in Finite-Layered Pre-Heyting Logics",
abstract = "The interpolation problem over Johansson{\textquoteright}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{\textquoteright}s interpolation property (CIP). As a consequence, we deduce that there exist only finitely many finite-layered pre-Heyting algebras with CIP.",
keywords = "Craig{\textquoteright}s interpolation property, finite-layered pre-Heyting logic, Johansson algebra, DECIDABILITY, MINIMAL LOGIC, PROPERTY, Craig's interpolation property",
author = "Maksimova, {L. L.} and Yun, {V. F.}",
year = "2019",
month = may,
day = "15",
doi = "10.1007/s10469-019-09533-3",
language = "English",
volume = "58",
pages = "144--157",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "2",

}

RIS

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