Polarization of classical proofs and reversion

被引：0

作者：

Quatrini, M ^{[1
]}

DeFalco, LT ^{[1
]}

机构：

[1] UNIV PARIS 07,CNRS,F-75252 PARIS 05,FRANCE

来源：

COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE | 1996年 / 323卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We introduce a new constraint on the proofs of the classical sequent calculus LK(pol)(eta) (eta-constrained and polarized). We obtain a complete and stable fragment for which the P embedding into linear logic is a decoration.

引用

页码：113 / 116

页数：4

共 50 条

[1] AN INTERPRETATION OF CLASSICAL PROOFS
HELMAN, G
JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (01) : 39 - 71
[2] Classical Verification of Quantum Proofs
Ji, Zhengfeng
THEORY OF COMPUTING, 2019, 15
[3] MINIMAL FROM CLASSICAL PROOFS
SCHWICHTENBERG, H
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 326 - 328
[4] Classical Proofs of Quantum Knowledge
Vidick, Thomas
Zhang, Tina
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2021, PT II, 2021, 12697 : 630 - 660
[5] Short proofs of classical theorems
Bondy, JA
JOURNAL OF GRAPH THEORY, 2003, 44 (03) : 159 - 165
[6] Probabilistic Proofs of Classical Theorems
Burdzy, Krzysztof
BROWNIAN MOTION AND ITS APPLICATIONS TO MATHEMATICAL ANALYSIS: ECOLE D'ETE DE PROBABILITES DE SAINT-FLOUR XLIII - 2013, 2014, 2106 : 11 - 19
[7] Classical Proofs as Parallel Programs
Aschieri, Federico
Ciabattoni, Agata
Genco, Francesco A.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 43 - 57
[8] Classical Verification of Quantum Proofs
Ji, Zhengfeng
STOC'16: PROCEEDINGS OF THE 48TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2016, : 885 - 898
[9] Minimal from classical proofs
Schwichtenberg, Helmut
Senjak, Christoph
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (06) : 740 - 748
[10] THEORY OF POLARIZATION REVERSION IN FERROELECTRICS
PEUZIN, JC
LEFAOU, C
SOLID STATE COMMUNICATIONS, 1970, 8 (07) : 505 - &

← 1 2 3 4 5 →