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 条

[31] 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 - &
[32] DEFINABILITY THEOREM FOR THE INTUITIONISTIC PREDICATE LOGIC WITH EQUALITY
MIZUTANI, C
NAGOYA MATHEMATICAL JOURNAL, 1982, 87 (NOV) : 1 - 15
[33] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Krivtsov, Victor N.
STUDIA LOGICA, 2010, 96 (01) : 109 - 115
[34] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Victor N. Krivtsov
Studia Logica, 2010, 96 : 109 - 115
[35] Tarski's theorem on intuitionistic logic, for polyhedra
Bezhanishvili, Nick
Marra, Vincenzo
McNeill, Daniel
Pedrini, Andrea
ANNALS OF PURE AND APPLIED LOGIC, 2018, 169 (05) : 373 - 391
[36] Craig Interpolation for Decidable Fragments of First-Order Logic
ten Cate, Balder
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[37] ON THE INTERPOLATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS
LOPEZESCOBAR, EGK
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 87 - 88
[38] Intuitionistic propositional logic with only equivalence has no interpolation
Hendriks, L
JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 589 - 593
[39] ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
Kowalski, Tomasz
Ono, Hiroakira
REVIEW OF SYMBOLIC LOGIC, 2017, 10 (02): : 259 - 283
[40] CUT-ELIMINATION, COMPLETENESS, AND CRAIG INTERPOLATION THEOREMS FOR GUREVICH'S EXTENDED FIRST-ORDER INTUITIONISTIC LOGIC WITH STRONG NEGATION
Kamide, Norihiro
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (05): : 1101 - 1121

← 1 2 3 4 5 →