The Interpolation Problem in Finite-Layered Pre-Heyting Logics

L. L. Maksimova; V. F. Yun

doi:10.1007/s10469-019-09533-3

The Interpolation Problem in Finite-Layered Pre-Heyting Logics

L. L. Maksimova, V. F. Yun

Кафедра алгебры и математической логики ММФ

Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

Аннотация

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	https://doi.org/10.1007/s10469-019-09533-3
Состояние	Опубликовано - 15 мая 2019

Доступ к документу

10.1007/s10469-019-09533-3

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «The Interpolation Problem in Finite-Layered Pre-Heyting Logics». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@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",

}

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 -