PRE-TABULARITY AND CRAIG'S INTERPOLATION PROPERTY OVER MINIMAL LOGIC

被引：2

|

作者：

Maksimova, Larisa L'vovna ^{[1
]}

Yun, Veta Fedorovna ^{[1
]}

机构：

[1] Sobolev Inst Math, Pr Koptyuga 4, Novosibirsk 630090, Russia

来源：

SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2023年 / 20卷 / 01期

关键词：

D O I：

10.33048/semi.2023.20.019

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：245 / 250

页数：6

相关论文

共 27 条

[21] The decidability of craig's interpolation property in well-composed J-logics
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2012, 53 (05) : 839 - 852
[22] Restricted interpolation over modal logic S4
L. L. Maksimova
Algebra and Logic, 2013, 52 : 308 - 335
[23] Restricted interpolation over modal logic S4
Maksimova, L. L.
ALGEBRA AND LOGIC, 2013, 52 (04) : 308 - 335
[24] Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2022, 63 (02) : 286 - 298
[25] Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4
L. L. Maksimova
V. F. Yun
Siberian Mathematical Journal, 2022, 63 : 286 - 298
[26] CUT-ELIMINATION, COMPLETENESS, AND CRAIG INTERPOLATION THEOREMS FOR GUREVICH'S EXTENDED FIRST-ORDER INTUITIONISTIC LOGIC WITH STRONG NEGATION
Kamide, Norihiro
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (05): : 1101 - 1121
[27] Cut-elimination, completeness, and craig interpolation theorems for gurevich’s extended first-order intuitionistic logic with strong negation
Kamide, Norihiro
Journal of Applied Logics, 2021, 8 (05): : 1101 - 1121