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 条

[21] THE CRAIG THEOREM FOR THE MODAL LOGIC OF CLOSURE SPACES
PLAZA, J
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1079 - 1080
[22] A Lindstrom Theorem for Intuitionistic Propositional Logic
Badia, Guillermo
Olkhovikov, Grigory
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2020, 61 (01) : 11 - 30
[23] On Herbrand's theorem for intuitionistic logic
Lyaletski, Alexander
Konev, Boris
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 293 - 305
[24] AN EXTENSION OF INTERPOLATION THEOREM OF MARCINKIEWICZ
IGARI, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1962, 38 (10): : 731 - &
[25] PROPOSITIONAL LOGICS WITH STRONG NEGATION AND THE CRAIG INTERPOLATION THEOREM
GORANKO, VF
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1985, 38 (07): : 825 - 827
[26] An Institution-independent Proof of Craig Interpolation Theorem
Răzvan Diaconescu
Studia Logica, 2004, 77 (1) : 59 - 79
[27] Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
Hendriks, L
ANNALS OF PURE AND APPLIED LOGIC, 2000, 104 (1-3) : 97 - 112
[28] Horn filter pairs and Craig interpolation in Propositional Logic
Arndt, Peter
Mariano, Hugo Luiz
Pinto, Darllan Conceicao
BOLETIN DE MATEMATICAS, 2023, 30 (02): : 9 - 9
[29] INTERPOLATION PROPERTY FOR EXTENSIONS OF INTUITIONISTIC PROOF LOGIC
SIMONOVA, IG
MATHEMATICAL NOTES, 1990, 47 (5-6) : 483 - 490
[30] FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC
Mints, Grigori
Olkhovikov, Grigory
Urquhart, Alasdair
JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 937 - 950

← 1 2 3 4 5 →