Craig’s Interpolation Property in Pretabular Logics Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
|---|---|---|---|
| Output data | Year: 2024, Volume: 65, Number: 2, Pages: 344-350 Pages count : 7 DOI: 10.1134/s0037446624020095 | ||
| Tags | minimal logic, tabularity, pretabular logic, interpolation property | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
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.
Cite:
Maksimova L.L.
, Yun V.F.
Craig’s Interpolation Property in Pretabular Logics
Siberian Mathematical Journal. 2024. V.65. N2. P.344-350. DOI: 10.1134/s0037446624020095 WOS Scopus РИНЦ РИНЦ OpenAlex
Craig’s Interpolation Property in Pretabular Logics
Siberian Mathematical Journal. 2024. V.65. N2. P.344-350. DOI: 10.1134/s0037446624020095 WOS Scopus РИНЦ РИНЦ OpenAlex
Original:
Максимова Л.Л.
, Юн В.Ф.
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Интерполяционное свойство Крейга в предтабличных логиках
Сибирский математический журнал. 2024. Т.65. №2. С.349-357. DOI: 10.33048/smzh.2024.65.209 РИНЦ
Dates:
| Submitted: | Jul 13, 2023 |
| Accepted: | Jan 28, 2024 |
| Published print: | Mar 25, 2024 |
| Published online: | Mar 25, 2024 |
Identifiers:
| Web of science: | WOS:001256062900007 |
| Scopus: | 2-s2.0-85188543517 |
| Elibrary: | 66549865 | 67308251 |
| OpenAlex: | W4393167624 |
Citing:
Пока нет цитирований