Maximum Cuts in Extended Natural Deduction
Publications de l'Institut Mathématique (2010)
- Volume: 87(101), Issue: 107, page 59-74
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMirjana Borisavljević. "Maximum Cuts in Extended Natural Deduction." Publications de l'Institut Mathématique 87(101).107 (2010): 59-74. <http://eudml.org/doc/256371>.
@article{MirjanaBorisavljević2010,
author = {Mirjana Borisavljević},
journal = {Publications de l'Institut Mathématique},
keywords = {sequent system; cut elimination; maximum segment},
language = {eng},
number = {107},
pages = {59-74},
publisher = {Matematički institut SANU},
title = {Maximum Cuts in Extended Natural Deduction},
url = {http://eudml.org/doc/256371},
volume = {87(101)},
year = {2010},
}
TY - JOUR
AU - Mirjana Borisavljević
TI - Maximum Cuts in Extended Natural Deduction
JO - Publications de l'Institut Mathématique
PY - 2010
PB - Matematički institut SANU
VL - 87(101)
IS - 107
SP - 59
EP - 74
LA - eng
KW - sequent system; cut elimination; maximum segment
UR - http://eudml.org/doc/256371
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.