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 条

[1] CRAIG-LYNDON INTERPOLATION THEOREM IN 3-VALUED LOGIC
ROCKINGHAMGILL, RR
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 230 - +
[2] A REFINEMENT OF THE CRAIG-LYNDON INTERPOLATION THEOREM FOR CLASSICAL FIRST-ORDER LOGIC WITH IDENTITY
Milne, Peter
LOGIQUE ET ANALYSE, 2017, (240) : 389 - 420
[3] EQUALITY AND LYNDON INTERPOLATION THEOREM
MOTOHASHI, N
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (01) : 123 - 128
[4] Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
Kuznets, Roman
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 320 - 335
[5] CRAIG INTERPOLATION THEOREM AND AMALGAMABLE MANIFOLDS
MAXIMOVA, LL
DOKLADY AKADEMII NAUK SSSR, 1977, 237 (06): : 1281 - 1284
[6] CRAIG INTERPOLATION THEOREM FOR AN EXTENSION OF INTUITIONISTIC LOGIC
RAUSZER, C
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (04): : 337 - 341
[7] The Craig Interpolation Theorem in abstract model theory
Jouko Väänänen
Synthese, 2008, 164 : 401 - 420
[8] CRAIG INTERPOLATION THEOREM FOR AN EXTENSION OF INTUITIONISTIC LOGIC
RAUSZER, C
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 134 - 135
[9] The Craig Interpolation Theorem in abstract model theory
Vaananen, Jouko
SYNTHESE, 2008, 164 (03) : 401 - 420
[10] An Institution-independent Proof of Craig Interpolation Theorem
Răzvan Diaconescu
Studia Logica, 2004, 77 (1) : 59 - 79

← 1 2 3 4 5 →