Publications
A complete list of my publications is in the cv .
Publications not available at arXiv:

 Z. Petrić, Equalities of Derivations in Categorial Proof Theory (in SerboCroatian), Ph.D. Thesis, Faculty of Mathematics, Belgrade
(1997)
pdf file
 K. Došen and Z. Petrić, Modal functional completeness, in: H. Wansing (ed.), Proof Theory of Modal Logic (1996), Kluwer Academic
Publishers, Dordrecht pp. 99136
pdf file
 K. Došen and Z. Petrić, Cartesian isomorphisms are symmetric monoidal:
A justification of linear logic, The Journal of Symbolic Logic, vol. 64 (1999),
pp. 227242
pdf file
 Z. Petrić, Cut elimination in a categorylike sequent system, in: A. Krapež (ed.), A Tribute to S.B. Prešić, Matematički institut SANU
(2001), pp. 7378
pdf file
 K. Došen and Z. Petrić, The typed Bohm theorem, in: J.J. Levy et al. (eds.),
Proceedings of the Satelite Workshops of the 28th ICALP (2001), pp. 119131
pdf file
 K. Došen and Z. Petrić, ProofTheoretical Coherence, KCL Publications, London (2004)
pdf file
 K. Došen and Z. Petrić, ProofNet Categories, Polimetrica, Monza, Italy (2007)
pdf file
 K. Došen and Z. Petrić, Graphs for Juncture, preprint, August 2012, viii+128 pp
pdf file
 S.Lj. Čukić and Z. Petrić, Classifying spaces of monoidal categories (in SerboCroatian), Treća Matematička Konferencija Republike Srpske,
Zbornik radova I, Trebinje
(2014), pp. 2329 pdf file
 Z. Petrić, Monoids, Segal's condition and bisimplicial spaces, preprint, November 2014, 10 pp
pdf file
 Z. Petrić, 270 Minutes on Categorial Proof Theory, preprint, April 2015, 29 pp
pdf file

