Geodesic
270 minutes on categorial proof theory
Zbornik radova, Tome 18 (2015) no. 26, p. 7

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

The aim of these notes is to provide an introduction of basic categorial notions to a reader interested in logic and proof theory. The first part is devoted to justification of these notions through a cut elimination procedure. In the second part a classification of formulae up to isomorphism, and an example of coherence are given.
Classification : 18-01, 03F07, 18A15 03F05, 18D10
Keywords: sequent system, cut elimination, functor, natural transformation, adjunction, isomorphism, coherence 
@article{ZR_2015_18_26_a1,
     author = {Zoran Petri\'c},
     title = {270 minutes on categorial proof theory},
     journal = {Zbornik radova},
     pages = {7 },
     publisher = {mathdoc},
     volume = {18},
     number = {26},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a1/}
}
TY  - JOUR
AU  - Zoran Petrić
TI  - 270 minutes on categorial proof theory
JO  - Zbornik radova
PY  - 2015
SP  - 7 
VL  - 18
IS  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a1/
LA  - en
ID  - ZR_2015_18_26_a1
ER  - 
%0 Journal Article
%A Zoran Petrić
%T 270 minutes on categorial proof theory
%J Zbornik radova
%D 2015
%P 7 
%V 18
%N 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a1/
%G en
%F ZR_2015_18_26_a1
Zoran Petrić. 270 minutes on categorial proof theory. Zbornik radova, Tome 18 (2015) no. 26, p. 7 . http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a1/