Pretabularity and Craig's Interpolation Property

被引：0

作者：

Maksimova, L. L. ^{[1
]}

Yun, V. F. ^{[1
]}

机构：

[1] Sobolev Inst Math, Novosibirsk, Russia

来源：

ALGEBRA AND LOGIC | 2023年 / 62卷 / 03期

关键词：

TABULARITY;

D O I：

10.1007/s10469-024-09742-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：277 / 282

页数：6

共 50 条

[1] Craig's Interpolation Property in Pretabular Logics
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
[2] The Craig interpolation property for rational Godel logic
Tavana, N. Roshandel
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2023, 20 (01): : 19 - 25
[3] Craig interpolation property for operator logics of proofs
Sidon, TL
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1998, (02): : 34 - 38
[4] PROVABILITY LOGIC WITHOUT CRAIG INTERPOLATION PROPERTY
BEKLEMISHEV, LD
MATHEMATICAL NOTES, 1989, 45 (5-6) : 437 - 445
[5] PRE-TABULARITY AND CRAIG'S INTERPOLATION PROPERTY OVER MINIMAL LOGIC
Maksimova, Larisa L'vovna
Yun, Veta Fedorovna
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2023, 20 (01): : 245 - 250
[6] The decidability of craig’s interpolation property in well-composed J-logics
L. L. Maksimova
Siberian Mathematical Journal, 2012, 53 : 839 - 852
[7] The decidability of craig's interpolation property in well-composed J-logics
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2012, 53 (05) : 839 - 852
[8] 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
[9] Craig Interpolation via Hypersequents
Kuznets, Roman
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 193 - 214
[10] Harmonious logic: Craig's interpolation theorem and its descendants
Feferman, Solomon
SYNTHESE, 2008, 164 (03) : 341 - 357

← 1 2 3 4 5 →