Предтабличность и интерполяционное свойство Крейга над минимальной логикой Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||
|---|---|---|---|
| Output data | Year: 2023, Volume: 20, Number: 1, Pages: 245-250 Pages count : 6 DOI: 10.33048/semi.2023.20.019 | ||
| Tags | minimal logic, tabularity, pre-tabular logic, interpolation problem. | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
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.
Cite:
Максимова Л.Л.
, Юн В.Ф.
Предтабличность и интерполяционное свойство Крейга над минимальной логикой
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. Т.20. №1. С.245-250. DOI: 10.33048/semi.2023.20.019 WOS Scopus РИНЦ
Предтабличность и интерполяционное свойство Крейга над минимальной логикой
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. Т.20. №1. С.245-250. DOI: 10.33048/semi.2023.20.019 WOS Scopus РИНЦ
Dates:
| Submitted: | Jan 1, 2022 |
| Published print: | Mar 13, 2023 |
| Published online: | Mar 13, 2023 |
Identifiers:
| Web of science: | WOS:000959070400013 |
| Scopus: | 2-s2.0-85150859756 |
| Elibrary: | 54768291 |