|
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.
Received: 13.07.2023 Revised: 13.07.2023 Accepted: 28.01.2024
Citation:
L. L. Maksimova, V. F. Yun, “Craig's interpolation property in pretabular logics”, Sibirsk. Mat. Zh., 65:2 (2024), 349–357
Linking options:
https://www.mathnet.ru/eng/smj7859 https://www.mathnet.ru/eng/smj/v65/i2/p349
|
Statistics & downloads: |
Abstract page: | 20 | References: | 5 | First page: | 3 |
|