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

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. 
@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},
     publisher = {mathdoc},
     volume = {33},
     number = {1},
     year = {2010},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_1_a2/
%F KJM_2010_33_1_a2
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/