Authors
Citation
M. Quatrini et Lt. Defalco, POLARIZATION OF CLASSICAL PROOFS AND REVE RSION, Comptes rendus de l'Academie des sciences. Serie 1, Mathematique, 323(2), 1996, pp. 113-116
Citations number
4
Categorie Soggetti
Mathematics, General",Mathematics
Journal title
ISSN journal
07644442
Volume
323
Issue
2
Year of publication
1996
Pages
113 - 116
Database
ISI
SICI code
0764-4442(1996)323:2<113:POCPAR>2.0.ZU;2-4
Abstract
We introduce a new constraint on the proofs of the classical sequent c
alculus LK(pol)(eta) (eta-constrained and polarized). We obtain a comp
lete and stable fragment for which the P embedding into linear logic i
s a decoration.