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 条
  • [21] Naming proofs in classical propositional logic
    Lamarche, F
    Strassburger, L
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 246 - 261
  • [22] The duality of classical and constructive notions and proofs
    Negri, Sara
    von Plato, Jan
    FROM SETS AND TYPES TO TOPOLOGY AND ANALYSIS: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 149 - 161
  • [23] CLASSICAL PROOFS AS PROGRAMS - HOW, WHAT AND WHY
    MURTHY, CR
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 613 : 71 - 88
  • [24] Classical proofs, typed processes, and intersection types
    Ghilezan, S
    Lescanne, P
    TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 226 - 241
  • [25] Proofs and Countermodels in Non-Classical Logics
    Negri, Sara
    LOGICA UNIVERSALIS, 2014, 8 (01) : 25 - 60
  • [26] Normal Natural Deduction Proofs (in classical logic)
    Wilfried Sieg
    John Byrnes
    Studia Logica, 1998, 60 (1) : 67 - 106
  • [27] Refined program extraction from classical proofs
    Berger, U
    Buchholz, W
    Schwichtenberg, H
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 114 (1-3) : 3 - 25
  • [28] Abstract interpretation of proofs: Classical propositional calculus
    Hyland, M
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 6 - 21
  • [29] Practical Program Extraction from Classical Proofs
    Makarov, Yevgeniy
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 521 - 542
  • [30] SOME PROOFS OF THE CLASSICAL INTEGRAL HARDY INEQUALITY
    Muniru, Iddrisu Mohammed
    Adjei, Okpoti Christopher
    Alagbe, Gbolagade Kazeem
    KOREAN JOURNAL OF MATHEMATICS, 2014, 22 (03): : 407 - 417
12345