Geodesic
Connections between cuts and maximum segments
Kragujevac Journal of Mathematics, Tome 33 (2010) no. 1 
Mirjana Borisavljević. Connections between cuts and maximum segments. Kragujevac Journal of Mathematics, Tome 33 (2010) no. 1. http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a2/
@article{KJM_2010_33_1_a2,
     author = {Mirjana Borisavljevi\'c},
     title = {Connections between cuts and maximum segments},
     journal = {Kragujevac Journal of Mathematics},
     pages = {29 - 44},
     year = {2010},
     volume = {33},
     number = {1},
     url = {http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a2/}
}
TY  - JOUR
AU  - Mirjana Borisavljević
TI  - Connections between cuts and maximum segments
JO  - Kragujevac Journal of Mathematics
PY  - 2010
SP  - 29 
EP  -  44
VL  - 33
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a2/
ID  - KJM_2010_33_1_a2
ER  - 
%0 Journal Article
%A Mirjana Borisavljević
%T Connections between cuts and maximum segments
%J Kragujevac Journal of Mathematics
%D 2010
%P 29 - 44
%V 33
%N 1
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a2/
%F KJM_2010_33_1_a2

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.