Craig’s Interpolation Property in Pretabular Logics
摘要
All pretabular extensions of the minimal logic were described andthe tabularity problem was solved earlier. As turned out, in total, there are sevenpretabular logics over the minimal logic. It was proved that four of them haveCraig’s interpolation property (CIP) and two do not. In the present article,we solve the problem of CIP in the seventh logic. We prove thatit has Craig’s interpolation property.