ON CRAIG-LYNDON INTERPOLATION THEOREM

被引：6

|

作者：

OBERSCHELP, A

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1968年 / 33卷 / 02期

关键词：

D O I：

10.2307/2269873

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：271 / +

页数：1

相关论文

共 50 条

[41] Note on a matric theorem of A T Craig
Hotelling, H
ANNALS OF MATHEMATICAL STATISTICS, 1944, 15 : 427 - 429
[42] Lyndon's interpolation property for the logic of strict implication
Aboolian, Narbe
Alizadeh, Majid
LOGIC JOURNAL OF THE IGPL, 2022, 30 (01) : 34 - 70
[43] The Lyndon property and uniform interpolation over the Grzegorczyk logic
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2014, 55 (01) : 118 - 124
[44] On Craig's theorem and its generalizations
Provost, SB
JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1996, 53 (03) : 311 - 321
[45] Notes on Craig interpolation for LJ with strong negation
Kamide, Norihiro
MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (04) : 395 - 399
[46] The Lyndon property and uniform interpolation over the Grzegorczyk logic
L. L. Maksimova
Siberian Mathematical Journal, 2014, 55 : 118 - 124
[47] The Craig interpolation property for rational Godel logic
Tavana, N. Roshandel
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2023, 20 (01): : 19 - 25
[48] Preservation of Craig interpolation by the product of matrix logics
Sernadas, C.
Rasga, J.
Sernadas, A.
JOURNAL OF APPLIED LOGIC, 2013, 11 (03) : 328 - 349
[49] Craig's Interpolation Property in Pretabular Logics
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
[50] Craig interpolation property for operator logics of proofs
Sidon, TL
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1998, (02): : 34 - 38

← 1 2 3 4 5 →