Geodesic
On cut elimination in the presence of peirce rule.
Archiv für mathematische Logik und Grundlagenforschung, Tome 26 (1987), pp. 147-164

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Zbl
Mots-clés : proof theory, sequent calculus, LJP, Peirce rule, cut elimination, primitive recursive arithmetic 
L. Gordeev. On cut elimination in the presence of peirce rule.. Archiv für mathematische Logik und Grundlagenforschung, Tome 26 (1987), pp. 147-164. http://geodesic.mathdoc.fr/item/AMLG_1987__26_138059/
@article{AMLG_1987__26_138059,
     author = {L. Gordeev},
     title = {On cut elimination in the presence of peirce rule.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {147--164},
     year = {1987},
     volume = {26},
     zbl = {0639.03059},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1987__26_138059/}
}
TY  - JOUR
AU  - L. Gordeev
TI  - On cut elimination in the presence of peirce rule.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1987
SP  - 147
EP  - 164
VL  - 26
UR  - http://geodesic.mathdoc.fr/item/AMLG_1987__26_138059/
ID  - AMLG_1987__26_138059
ER  - 
%0 Journal Article
%A L. Gordeev
%T On cut elimination in the presence of peirce rule.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1987
%P 147-164
%V 26
%U http://geodesic.mathdoc.fr/item/AMLG_1987__26_138059/
%F AMLG_1987__26_138059