CRAIG INTERPOLATION THEOREM FOR AN EXTENSION OF INTUITIONISTIC LOGIC

被引：0

|

作者：

RAUSZER, C

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1977年 / 42卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：134 / 135

页数：2

相关论文

共 50 条

[1] 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
[2] CRAIG INTERPOLATION THEOREM FOR INTUITIONISTIC LOGIC AND EXTENSIONS .3.
GABBAY, DM
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (02) : 269 - 271
[3] CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
Olkhovikov, Grigory K.
Badia, Guillermo
REVIEW OF SYMBOLIC LOGIC, 2024, 17 (02): : 611 - 633
[4] 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 - +
[5] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
Toyooka, Masanobu
Sano, Katsuhiko
STUDIA LOGICA, 2024, 112 (05) : 1091 - 1121
[6] Harmonious logic: Craig's interpolation theorem and its descendants
Feferman, Solomon
SYNTHESE, 2008, 164 (03) : 341 - 357
[7] Harmonious logic: Craig’s interpolation theorem and its descendants
Solomon Feferman
Synthese, 2008, 164 : 341 - 357
[8] CRAIG-LYNDON INTERPOLATION THEOREM IN 3-VALUED LOGIC
ROCKINGHAMGILL, RR
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 230 - +
[9] ON CRAIG-LYNDON INTERPOLATION THEOREM
OBERSCHELP, A
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (02) : 271 - +
[10] CRAIG INTERPOLATION THEOREM AND AMALGAMABLE MANIFOLDS
MAXIMOVA, LL
DOKLADY AKADEMII NAUK SSSR, 1977, 237 (06): : 1281 - 1284

← 1 2 3 4 5 →