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 条

[41] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
BOWEN, KA
PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
[42] Proof vs Provability: On Brouwer's Time Problem
Yourgrau, Palle
HISTORY AND PHILOSOPHY OF LOGIC, 2020, 41 (02) : 140 - 153
[43] PROBABILISTIC MACHINE FOR ESTIMATION OF PROVABILITY IN FIRST ORDER PREDICATE CALCULUS
VANWESTR.SC
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (04): : 291 - &
[44] Provability algebras and proof-theoretic ordinals, I
Beklemishev, LD
ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 103 - 123
[45] PROVABILITY LOGIC WITHOUT CRAIG INTERPOLATION PROPERTY
BEKLEMISHEV, LD
MATHEMATICAL NOTES, 1989, 45 (5-6) : 437 - 445
[46] The lambda calculus is algebraic
Selinger, P
JOURNAL OF FUNCTIONAL PROGRAMMING, 2002, 12 : 549 - 566
[47] An algebraic process calculus
Beffara, Emmanuel
TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 130 - 141
[48] A COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC - AN INTUITIONISTIC PROOF
DRAGALIN, AG
PUBLICATIONES MATHEMATICAE-DEBRECEN, 1987, 34 (1-2): : 1 - 19
[49] The algebraic lambda calculus
Vaux, Lionel
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (05) : 1029 - 1059
[50] An algebraic approach to intuitionistic connectives
Caicedo, X
Cignoli, R
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) : 1620 - 1636

← 1 2 3 4 5 →