RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2024 Volume 65, Number 2, Pages 349–357 (Mi smj7859)

Craig's interpolation property in pretabular logics

L. L. Maksimova, V. F. Yun

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: All pretabular extensions of the minimal logic were described and the tabularity problem was solved earlier. As turned out, in total, there are seven pretabular logics over the minimal logic. It was proved that four of them have Craig's interpolation property (CIP) and two do not. In the present article, we solve the problem of CIP in the seventh logic. We prove that it has Craig's interpolation property.

Keywords: minimal logic, tabularity, pretabular logic, interpolation property.

UDC: 510.6

MSC: 35R30

Received: 13.07.2023
Revised: 13.07.2023
Accepted: 28.01.2024

DOI: 10.33048/smzh.2024.65.209



© Steklov Math. Inst. of RAS, 2024