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 条

[31] On a fundamental property of a minimum in the calculus of variations and the proof of a theorem of Weierstrass's
Osgood, W. F.
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1901, 2 (1-4) : 273 - 295
[32] Deducibility and independence in Beklemishev's autonomous provability calculus
Fernandez-Duque, David
Hermo-Reyes, Eduardo
INFORMATION AND COMPUTATION, 2022, 287
[33] A Proof Theory for the Logic of Provability in True Arithmetic
Hirohiko Kushida
Studia Logica, 2020, 108 : 857 - 875
[34] A Proof Theory for the Logic of Provability in True Arithmetic
Kushida, Hirohiko
STUDIA LOGICA, 2020, 108 (04) : 857 - 875
[35] Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus
Okada, Mitsuhiro
Takemura, Ryo
REWRITING, COMPUTATION AND PROOF: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4600 : 167 - +
[36] Reduction Rules for Intuitionistic λρ-calculus
Fujita, Ken-etsu
Kashima, Ryo
Komori, Yuichi
Matsuda, Naosuke
STUDIA LOGICA, 2015, 103 (06) : 1225 - 1244
[37] Metalogic of Intuitionistic Propositional Calculus
Citkin, Alex
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 485 - 502
[38] INTUITIONISTIC PROPOSITIONAL CALCULUS WITH QUANTIFIERS
SOBOLEV, SK
MATHEMATICAL NOTES, 1977, 22 (1-2) : 528 - 532
[39] NEW OPERATIONS IN INTUITIONISTIC CALCULUS
BESSONOV, AV
MATHEMATICAL NOTES, 1977, 22 (1-2) : 503 - 506
[40] A calculus for intuitionistic fuzzy values
Yavuz, Enes
TURKISH JOURNAL OF MATHEMATICS, 2023, 47 (02) : 746 - 768

← 1 2 3 4 5 →