Geodesic
Normalization as a consequence of cut elimination
Publications de l'Institut Mathématique, _N_S_86 (2009) no. 100, p. 27 .

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 systemfor some part of intuitionistic logic, are considered.For each of these pairs of systems the property that the normalization theoremis a consequence of the cut-elimination theorem is presented.
DOI : 10.2298/PIM0900027B
Classification : 03F05
Keywords: cut elimination, normalization 
@article{10_2298_PIM0900027B,
     author = {Mirjana Borisavljevi\'c},
     title = {Normalization as a consequence of cut elimination},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {27 },
     publisher = {mathdoc},
     volume = {_N_S_86},
     number = {100},
     year = {2009},
     doi = {10.2298/PIM0900027B},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM0900027B/}
}
TY  - JOUR
AU  - Mirjana Borisavljević
TI  - Normalization as a consequence of cut elimination
JO  - Publications de l'Institut Mathématique
PY  - 2009
SP  - 27 
VL  - _N_S_86
IS  - 100
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0900027B/
DO  - 10.2298/PIM0900027B
LA  - en
ID  - 10_2298_PIM0900027B
ER  - 
%0 Journal Article
%A Mirjana Borisavljević
%T Normalization as a consequence of cut elimination
%J Publications de l'Institut Mathématique
%D 2009
%P 27 
%V _N_S_86
%N 100
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0900027B/
%R 10.2298/PIM0900027B
%G en
%F 10_2298_PIM0900027B
Mirjana Borisavljević. Normalization as a consequence of cut elimination. Publications de l'Institut Mathématique, _N_S_86 (2009) no. 100, p. 27 . doi : 10.2298/PIM0900027B. http://geodesic.mathdoc.fr/articles/10.2298/PIM0900027B/

Cité par Sources :