RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2023, том 20, выпуск 1, страницы 245–250 (Mi semr1583)

Эта публикация цитируется в 2 статьях

Математическая логика, алгебра и теория чисел

Предтабличность и интерполяционное свойство Крейга над минимальной логикой

Л. Л. Максимова, В. Ф. Юн

Sobolev Institute of Mathematics, pr. Koptyuga, 4, 630090, Novosibirsk, Russia

Аннотация: In this paper [1] the tabularity problem was solved and all pre-tabular extensions of the minimal logic were described. In total, there turned out to be seven pre-tabular logics over the minimal logic.
In this article, we will prove that four of them have the Craig's interpolation property CIP and two do not have. The question of CIP in the seventh logic is still open.

Ключевые слова: minimal logic, tabularity, pre-tabular logic, interpolation problem.

УДК: 510.6

MSC: 03B45

Поступила 1 января 2022 г., опубликована 13 марта 2023 г.

DOI: 10.33048/semi.2023.20.019



© МИАН, 2024