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 条

[41] Cut-elimination, completeness, and craig interpolation theorems for gurevich’s extended first-order intuitionistic logic with strong negation
Kamide, Norihiro
Journal of Applied Logics, 2021, 8 (05): : 1101 - 1121
[42] COUNTEREXAMPLE TO BOWENS THEOREM AND FAILURES OF INTERPOLATION THEOREM IN MODAL LOGIC
LU, QC
KEXUE TONGBAO, 1984, 29 (04): : 433 - 436
[43] Theorem Prover for Intuitionistic Logic Based on the Inverse Method
V. A. Pavlov
V. G. Pak
Programming and Computer Software, 2018, 44 : 51 - 61
[44] A strong completeness theorem in intuitionistic quantified modal logic
高恒珊
Science in China(Series E:Technological Sciences), 2000, (01) : 60 - 70
[45] A strong completeness theorem in intuitionistic quantified modal logic
Gao, HS
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (01): : 60 - 70
[46] Theorem Prover for Intuitionistic Logic Based on the Inverse Method
Pavlov, V. A.
Pak, V. G.
PROGRAMMING AND COMPUTER SOFTWARE, 2018, 44 (01) : 51 - 61
[47] A FORMAL AND INTUITIONISTIC PROOF OF THE COMPLETENESS THEOREM OF CLASSICAL LOGIC
Krivine, Jean-Louis
BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (04) : 405 - 421
[48] A Lindstrom theorem for intuitionistic first-order logic
Olkhovikov, Grigory
Badia, Guillermo
Zoghifard, Reihane
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (10)
[49] A strong completeness theorem in intuitionistic quantified modal logic
Hengshan Gao
Science in China Series E: Technological Sciences, 2000, 43 : 60 - 70
[50] The Craig interpolation property in first-order Gödel logic
Tavana, N. R.
Pourmahdian, M.
Khatami, S. M. A.
FUZZY SETS AND SYSTEMS, 2024, 485

← 1 2 3 4 5 →