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] Uniform Lyndon interpolation property in propositional modal logics
Taishi Kurahashi
Archive for Mathematical Logic, 2020, 59 : 659 - 678
[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] Notes on Craig interpolation for LJ with strong negation
Kamide, Norihiro
MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (04) : 395 - 399
[45] The Craig interpolation property for rational Godel logic
Tavana, N. Roshandel
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2023, 20 (01): : 19 - 25
[46] Craig's Interpolation Property in Pretabular Logics
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
[47] 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
[48] On Craig's theorem and its generalizations
Provost, SB
JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1996, 53 (03) : 311 - 321
[49] The Lyndon property and uniform interpolation over the Grzegorczyk logic
L. L. Maksimova
Siberian Mathematical Journal, 2014, 55 : 118 - 124
[50] PROVABILITY LOGIC WITHOUT CRAIG INTERPOLATION PROPERTY
BEKLEMISHEV, LD
MATHEMATICAL NOTES, 1989, 45 (5-6) : 437 - 445

← 1 2 3 4 5 →