Minimum segments in sequent derivations.
Publications de l'Institut Mathématique. Nouvelle Série (2003)
- Volume: 74(88), page 5-17
- ISSN: 0350-1302
Access Full Article
top
How to cite
topBorisavljević, Mirjana. "Minimum segments in sequent derivations.." Publications de l'Institut Mathématique. Nouvelle Série 74(88) (2003): 5-17. <http://eudml.org/doc/258218>.
@article{Borisavljević2003,
author = {Borisavljević, Mirjana},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {sequent systems; natural deduction; maximum cuts; normal derivation; path of a formula},
language = {eng},
pages = {5-17},
publisher = {Izdaje Matematički Institut SANU},
title = {Minimum segments in sequent derivations.},
url = {http://eudml.org/doc/258218},
volume = {74(88)},
year = {2003},
}
TY - JOUR
AU - Borisavljević, Mirjana
TI - Minimum segments in sequent derivations.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 2003
PB - Izdaje Matematički Institut SANU
VL - 74(88)
SP - 5
EP - 17
LA - eng
KW - sequent systems; natural deduction; maximum cuts; normal derivation; path of a formula
UR - http://eudml.org/doc/258218
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.