Geodesic
Connections between cuts and maximum segments
Kragujevac Journal of Mathematics, Tome 33 (2010), p. 29 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Pairs of systems, which consist of a system of sequents and a natural deduction system for some parts of intuitionistic logic, will be considered. For some of these pairs of systems the well-known property that cut-free sequent derivations correspond to normal derivations in natural deduction will be improved.
Classification : 03F05
Keywords: Systems of sequents, Natural deduction, Cut elimination, Normalization. 
@article{KJM_2010_33_a2,
     author = {Mirjana Borisavljevi\'c},
     title = {Connections between cuts and maximum segments},
     journal = {Kragujevac Journal of Mathematics},
     pages = {29 },
     publisher = {mathdoc},
     volume = {33},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KJM_2010_33_a2/}
}
TY  - JOUR
AU  - Mirjana Borisavljević
TI  - Connections between cuts and maximum segments
JO  - Kragujevac Journal of Mathematics
PY  - 2010
SP  - 29 
VL  - 33
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2010_33_a2/
LA  - en
ID  - KJM_2010_33_a2
ER  - 
%0 Journal Article
%A Mirjana Borisavljević
%T Connections between cuts and maximum segments
%J Kragujevac Journal of Mathematics
%D 2010
%P 29 
%V 33
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_a2/
%G en
%F KJM_2010_33_a2
Mirjana Borisavljević. Connections between cuts and maximum segments. Kragujevac Journal of Mathematics, Tome 33 (2010), p. 29 . http://geodesic.mathdoc.fr/item/KJM_2010_33_a2/