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 条

[21] Correspondences between classical, intuitionistic and uniform provability
Nadathur, G
THEORETICAL COMPUTER SCIENCE, 2000, 232 (1-2) : 273 - 298
[22] A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
Uustalu, Tarmo
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (01) : 165 - 202
[23] SYNTACTIC PROOF FOR ADMISSIBILITY OF CUT RULE IN SCHUTTE CALCULUS FOR INTUITIONISTIC TYPE THEORY
OSSWALD, H
MANUSCRIPTA MATHEMATICA, 1973, 8 (03) : 243 - 249
[24] A Terminating Sequent Calculus for Intuitionistic Strong Lob Logic with the Subformula Property
Fiorentini, Camillo
Ferrari, Mauro
AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 24 - 42
[25] A Self-contained Provability Calculus for Γ0
Fernandez-Duquel, David
Hermo-Reyes, Eduardo
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 195 - 207
[26] MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Bezhanishvili, Guram
Brantley, Kristina
Ilin, Julia
JOURNAL OF SYMBOLIC LOGIC, 2023, 88 (01) : 427 - 467
[27] A TERMINATING INTUITIONISTIC CALCULUS
Fellin, Giulio
Negri, Sara
JOURNAL OF SYMBOLIC LOGIC, 2023,
[28] An intuitionistic λ-calculus with exceptions
David, R
Mounier, G
JOURNAL OF FUNCTIONAL PROGRAMMING, 2005, 15 : 33 - 52
[29] Intuitionistic refinement calculus
Boulme, Sylvain
Typed Lambda Calculi and Applications, Proceedings, 2007, 4583 : 54 - 69
[30] ON THE PROOF THEORY OF THE MODAL LOGIC FOR ARITHMETIC PROVABILITY
LEIVANT, D
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 531 - 538

← 1 2 3 4 5 →