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 条

[1] The tabularity problem over the minimal logic
L. L. Maksimova
V. F. Yun
Siberian Mathematical Journal, 2016, 57 : 1034 - 1043
[2] The tabularity problem over the minimal logic
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2016, 57 (06) : 1034 - 1043
[3] Decidability of the weak interpolation property over the minimal logic
L. L. Maksimova
Algebra and Logic, 2011, 50
[4] DECIDABILITY OF THE WEAK INTERPOLATION PROPERTY OVER THE MINIMAL LOGIC
Maksimova, L. L.
ALGEBRA AND LOGIC, 2011, 50 (02) : 106 - 132
[5] The Craig interpolation property for rational Godel logic
Tavana, N. Roshandel
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2023, 20 (01): : 19 - 25
[6] PROVABILITY LOGIC WITHOUT CRAIG INTERPOLATION PROPERTY
BEKLEMISHEV, LD
MATHEMATICAL NOTES, 1989, 45 (5-6) : 437 - 445
[7] Pretabularity and Craig's Interpolation Property
Maksimova, L. L.
Yun, V. F.
ALGEBRA AND LOGIC, 2023, 62 (03) : 277 - 282
[8] Craig's Interpolation Property in Pretabular Logics
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
[9] The Craig interpolation property in first-order Gödel logic
Tavana, N. R.
Pourmahdian, M.
Khatami, S. M. A.
FUZZY SETS AND SYSTEMS, 2024, 485
[10] NEGATIVE EQUIVALENCE OVER THE MINIMAL LOGIC AND INTERPOLATION
Maksimova, L. L.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2014, 11 : 1 - 17