The Interpolation Problem in Finite-Layered Pre-Heyting Logics

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

Аннотация

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
СостояниеОпубликовано - 15 мая 2019

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

Цитировать