RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2023 Volume 20, Issue 1, Pages 245–250 (Mi semr1583)

This article is cited in 2 papers

Mathematical logic, algebra and number theory

Pretabularity and Craig's interpolation problem over the minimal logic

L. L. Maksimova, V. F. Yun

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

Abstract: 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.

Keywords: minimal logic, tabularity, pre-tabular logic, interpolation problem.

UDC: 510.6

MSC: 03B45

Received January 1, 2022, published March 13, 2023

DOI: 10.33048/semi.2023.20.019



© Steklov Math. Inst. of RAS, 2025