Extensions of the Minimal Logic and the Interpolation Problem

Standard

Extensions of the Minimal Logic and the Interpolation Problem. / Maksimova, L. L.; Yun, V. F.

In: Siberian Mathematical Journal, Vol. 59, No. 4, 01.07.2018, p. 681-693.

Research output: Contribution to journal › Article › peer-review

Harvard

Maksimova, LL & Yun, VF 2018, 'Extensions of the Minimal Logic and the Interpolation Problem', Siberian Mathematical Journal, vol. 59, no. 4, pp. 681-693. https://doi.org/10.1134/S0037446618040109

APA

Maksimova, L. L., & Yun, V. F. (2018). Extensions of the Minimal Logic and the Interpolation Problem. Siberian Mathematical Journal, 59(4), 681-693. https://doi.org/10.1134/S0037446618040109

Vancouver

Maksimova LL, Yun VF. Extensions of the Minimal Logic and the Interpolation Problem. Siberian Mathematical Journal. 2018 Jul 1;59(4):681-693. doi: 10.1134/S0037446618040109

Author

Maksimova, L. L. ; Yun, V. F. / Extensions of the Minimal Logic and the Interpolation Problem. In: Siberian Mathematical Journal. 2018 ; Vol. 59, No. 4. pp. 681-693.

BibTeX

@article{d6f0f351788c4097bae7c5f353db5efe,

title = "Extensions of the Minimal Logic and the Interpolation Problem",

abstract = "Under study is the interpolation problem over Johansson{\textquoteright}s minimal logic J. We give a detailed exposition of the current state of this difficult problem, establish Craig{\textquoteright}s interpolation property for several extensions of J, prove the absence of CIP in some families of extensions of J, and survey the results on interpolation over J. Also, the relationship is discussed between the interpolation properties and the recognizability of logics.",

keywords = "interpolation, Johansson algebra, minimal logic, recognizable logic",

author = "Maksimova, {L. L.} and Yun, {V. F.}",

note = "Publisher Copyright: {\textcopyright} 2018, Pleiades Publishing, Ltd.",

year = "2018",

month = jul,

day = "1",

doi = "10.1134/S0037446618040109",

language = "English",

volume = "59",

pages = "681--693",

journal = "Siberian Mathematical Journal",

issn = "0037-4466",

publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",

number = "4",

}

RIS

TY - JOUR

T1 - Extensions of the Minimal Logic and the Interpolation Problem

AU - Maksimova, L. L.

AU - Yun, V. F.

PY - 2018/7/1

Y1 - 2018/7/1

N2 - Under study is the interpolation problem over Johansson’s minimal logic J. We give a detailed exposition of the current state of this difficult problem, establish Craig’s interpolation property for several extensions of J, prove the absence of CIP in some families of extensions of J, and survey the results on interpolation over J. Also, the relationship is discussed between the interpolation properties and the recognizability of logics.

AB - Under study is the interpolation problem over Johansson’s minimal logic J. We give a detailed exposition of the current state of this difficult problem, establish Craig’s interpolation property for several extensions of J, prove the absence of CIP in some families of extensions of J, and survey the results on interpolation over J. Also, the relationship is discussed between the interpolation properties and the recognizability of logics.

KW - interpolation

KW - Johansson algebra

KW - minimal logic

KW - recognizable logic

UR - http://www.scopus.com/inward/record.url?scp=85052984470&partnerID=8YFLogxK

U2 - 10.1134/S0037446618040109

DO - 10.1134/S0037446618040109

M3 - Article

AN - SCOPUS:85052984470

VL - 59

SP - 681

EP - 693

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 4

ER -

ID: 16485591