Craig interpolation property for operator logics of proofs

被引：0

|

作者：

Sidon, TL ^{[1
]}

机构：

[1] Moscow State Univ, Moscow, Russia

来源：

VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA | 1998年 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：34 / 38

页数：5

相关论文

共 50 条

[11] Pretabularity and Craig's Interpolation Property
Maksimova, L. L.
Yun, V. F.
ALGEBRA AND LOGIC, 2023, 62 (03) : 277 - 282
[12] The Craig interpolation property for rational Godel logic
Tavana, N. Roshandel
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2023, 20 (01): : 19 - 25
[13] PROVABILITY LOGIC WITHOUT CRAIG INTERPOLATION PROPERTY
BEKLEMISHEV, LD
MATHEMATICAL NOTES, 1989, 45 (5-6) : 437 - 445
[14] Quantum logics with the Riesz interpolation property
Dvurecenskij, A
Pták, P
MATHEMATISCHE NACHRICHTEN, 2004, 271 : 10 - 14
[15] Restricted interpolation property in superintuitionistic logics
Maksimova, L. L.
ALGEBRA AND LOGIC, 2009, 48 (01) : 33 - 53
[16] Restricted interpolation property in superintuitionistic logics
L. L. Maksimova
Algebra and Logic, 2009, 48 : 33 - 53
[17] LOGICS WITHOUT CRAIGS INTERPOLATION PROPERTY
KOMORI, Y
PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 1978, 54 (02) : 46 - 48
[18] Interpolation property and superintuitionistic predicate logics
Tishkovsky, DE
SIBERIAN MATHEMATICAL JOURNAL, 1998, 39 (01) : 151 - 158
[19] Interpolation property and superintuitionistic predicate logics
D. E. Tishkovsky
Siberian Mathematical Journal, 1998, 39 : 151 - 158
[20] On the interpolation property of some intuitionistic modal logics
Luppi, C
ARCHIVE FOR MATHEMATICAL LOGIC, 1996, 35 (03) : 173 - 189

← 1 2 3 4 5 →