Extensions of the Minimal Logic and the Interpolation Problem

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

2 Цитирования (Scopus)

Аннотация

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.

Язык оригиналаанглийский
Страницы (с-по)681-693
Число страниц13
ЖурналSiberian Mathematical Journal
Том59
Номер выпуска4
DOI
СостояниеОпубликовано - 1 июл 2018

Fingerprint Подробные сведения о темах исследования «Extensions of the Minimal Logic and the Interpolation Problem». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать