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 条

[11] An Institution-independent Proof of Craig Interpolation Theorem
Răzvan Diaconescu
Studia Logica, 2004, 77 (1) : 59 - 79
[12] CRAIG INTERPOLATION THEOREM FOR INTUITIONISTIC LOGIC AND EXTENSIONS .3.
GABBAY, DM
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (02) : 269 - 271
[13] CRAIG INTERPOLATION THEOREM FOR M-VALUED PREDICATE CALCULI
RASIOWA, H
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (05): : 341 - &
[14] Harmonious logic: Craig's interpolation theorem and its descendants
Feferman, Solomon
SYNTHESE, 2008, 164 (03) : 341 - 357
[15] Harmonious logic: Craig’s interpolation theorem and its descendants
Solomon Feferman
Synthese, 2008, 164 : 341 - 357
[16] CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
Olkhovikov, Grigory K.
Badia, Guillermo
REVIEW OF SYMBOLIC LOGIC, 2024, 17 (02): : 611 - 633
[17] VARIATION OF LYNDON-KEISLER HOMOMORPHISM THEOREM AND ITS APPLICATIONS TO INTERPOLATION THEOREMS
FUJIWARA, T
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1978, 30 (02) : 287 - 302
[18] Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus
Yu, Junhua
ANNALS OF PURE AND APPLIED LOGIC, 2020, 171 (01)
[19] Mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal isabelle
Chapman, Peter
McKinna, James
Urban, Christian
INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 38 - +
[20] CRAIG THEOREM
PUTNAM, H
JOURNAL OF PHILOSOPHY, 1965, 62 (10): : 251 - 260

← 1 2 3 4 5 →