Normalization as a consequence of cut elimination
Publications de l'Institut Mathématique (2009)
- Volume: 86(100), Issue: 106, page 27-34
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMirjana Borisavljević. "Normalization as a consequence of cut elimination." Publications de l'Institut Mathématique 86(100).106 (2009): 27-34. <http://eudml.org/doc/256552>.
@article{MirjanaBorisavljević2009,
author = {Mirjana Borisavljević},
journal = {Publications de l'Institut Mathématique},
keywords = {sequent system; natural deduction system; normalization; cut elimination},
language = {eng},
number = {106},
pages = {27-34},
publisher = {Matematički institut SANU},
title = {Normalization as a consequence of cut elimination},
url = {http://eudml.org/doc/256552},
volume = {86(100)},
year = {2009},
}
TY - JOUR
AU - Mirjana Borisavljević
TI - Normalization as a consequence of cut elimination
JO - Publications de l'Institut Mathématique
PY - 2009
PB - Matematički institut SANU
VL - 86(100)
IS - 106
SP - 27
EP - 34
LA - eng
KW - sequent system; natural deduction system; normalization; cut elimination
UR - http://eudml.org/doc/256552
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.