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 条

[41] Proofs of God: Classical Arguments from Tertullian to Barth
Schenkewitz, Kyle A.
NEWMAN STUDIES JOURNAL, 2018, 15 (02) : 79 - 80
[42] Programs from proofs using classical dependent choice
Seisenberger, Monika
ANNALS OF PURE AND APPLIED LOGIC, 2008, 153 (1-3) : 97 - 110
[43] BIJECTIVE PROOFS OF SOME CLASSICAL PARTITION-IDENTITIES
REMMEL, JB
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1982, 33 (03) : 273 - 286
[44] Normal natural deduction proofs (in non-classical logics)
Sieg, W
Cittadini, S
MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 169 - 191
[45] Proofs of strong normalisation for second order classical natural deduction
Parigot, M
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (04) : 1461 - 1479
[46] Cut elimination for classical proofs as continuation passing style computation
Ogata, I
ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 61 - 78
[47] Quantum Security Proofs Using Semi-classical Oracles
Ambainis, Andris
Hamburg, Mike
Unruh, Dominique
ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT II, 2019, 11693 : 269 - 295
[48] PROBABILISTIC PROOFS OF ASYMPTOTIC FORMULAS FOR SOME CLASSICAL-POLYNOMIALS
MAEJIMA, M
VANASSCHE, W
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1985, 97 (MAY) : 499 - 510
[49] Getting results from programs extracted from classical proofs
Raffalli, C
THEORETICAL COMPUTER SCIENCE, 2004, 323 (1-3) : 49 - 70
[50] Entanglement and classical polarization states
Qian, Xiao-Feng
Eberly, J. H.
OPTICS LETTERS, 2011, 36 (20) : 4110 - 4112

← 1 2 3 4 5 →