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.

中文翻译：

---

预表逻辑中克雷格的插值性质

描述了最小逻辑的所有前表格扩展，并较早地解决了表格问题。事实证明，在最小逻辑上总共有七个预表逻辑。经证明，其中四个具有克雷格插值性质（CIP），两个不具有。在本文中，我们解决第七个逻辑中的CIP问题。我们证明它具有克雷格插值性质。