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

Cité par Sources :