AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS

被引：0

|

作者：

MURAVITSKII, AY

机构：

来源：

MATHEMATICS OF THE USSR-SBORNIK | 1986年 / 131卷 / 3-4期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：397 / 406

页数：10

相关论文

共 50 条

[1] ALGEBRAIC PROOF OF SEPARATION THEOREM ON CLASSICAL PROPOSITIONAL CALCULUS
HOSOI, T
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (02): : 67 - &
[2] PROOF SEARCH IN THE INTUITIONISTIC SEQUENT CALCULUS
SHANKAR, N
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 522 - 536
[3] THE PROOF-INTUITIONISTIC PROPOSITIONAL CALCULUS
KUZNETSOV, AV
DOKLADY AKADEMII NAUK SSSR, 1985, 283 (01): : 27 - 30
[4] Intuitionistic Provability versus Uniform Provability in RCA
Fujiwara, Makoto
EVOLVING COMPUTABILITY, 2015, 9136 : 186 - 195
[5] Classical provability of uniform versions and intuitionistic provability
Fujiwara, Makoto
Kohlenbach, Ulrich
MATHEMATICAL LOGIC QUARTERLY, 2015, 61 (03) : 132 - 150
[6] SEPARATION THEOREM FOR FRAGMENTS OF INTUITIONISTIC PROPOSITIONAL CALCULUS
ROUSSEAU, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (05): : 469 - &
[7] On the algebraic foundation of proof assistants for intuitionistic type theory
Abel, Andreas
Coquand, Thierry
Dybjer, Peter
FUNCTIONAL AND LOGIC PROGRAMMING, 2008, 4989 : 3 - +
[8] INTERPOLATION PROPERTY FOR EXTENSIONS OF INTUITIONISTIC PROOF LOGIC
SIMONOVA, IG
MATHEMATICAL NOTES, 1990, 47 (5-6) : 483 - 490
[9] An algebraic proof of a property of Lie groups
Chevalley, C
AMERICAN JOURNAL OF MATHEMATICS, 1941, 63 : 785 - 793
[10] THE JUDGMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC - PROOF THEORY AND SEMANTICS
VALENTINI, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (01): : 39 - 58

← 1 2 3 4 5 →