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. 
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/
@article{KJM_2010_33_a2,
     author = {Mirjana Borisavljevi\'c},
     title = {Connections between cuts and maximum segments},
     journal = {Kragujevac Journal of Mathematics},
     pages = {29 },
     year = {2010},
     volume = {33},
     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
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
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_a2/
%G en
%F KJM_2010_33_a2