On cut elimination in the presence of peirce rule.
Archiv für mathematische Logik und Grundlagenforschung (1987)
- Volume: 26, page 147-164
- ISSN: 0003-9268
Access Full Article
topHow to cite
topGordeev, L.. "On cut elimination in the presence of peirce rule.." Archiv für mathematische Logik und Grundlagenforschung 26 (1987): 147-164. <http://eudml.org/doc/138059>.
@article{Gordeev1987,
author = {Gordeev, L.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {proof theory; sequent calculus; LJP; Peirce rule; cut elimination; primitive recursive arithmetic},
pages = {147-164},
title = {On cut elimination in the presence of peirce rule.},
url = {http://eudml.org/doc/138059},
volume = {26},
year = {1987},
}
TY - JOUR
AU - Gordeev, L.
TI - On cut elimination in the presence of peirce rule.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1987
VL - 26
SP - 147
EP - 164
KW - proof theory; sequent calculus; LJP; Peirce rule; cut elimination; primitive recursive arithmetic
UR - http://eudml.org/doc/138059
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.