Phone:+381 11 3021 170



PhD – 2008, Faculty of Mathematics, University of Belgrade

Маster’s degree – 1995, Faculty of Mathematics, University of Belgrade

Diploma – 1990, Faculty of Mathematics, University of Belgrade

Awards, grants, certificates, memberships, corporate / public service

Member of Serbian association of pure and applied logic.

Fields of teaching:


Fields of research:

Proof theory, Substructural logics.

Courses taught:

Mathematics, Mathematics 2, Маthematics 1-М, Scientific Research Methodology, Mathematics (LSE)

Key references (publications and projects)

A natural deduction and its corresponding sequent calculus for positive contraction–less relevant logic, Reports on Mathematical Logic, 52 (2017), pp, 101–132

An alternative natural deduction for the intuitionistic propositional logic, Bulletin of the Section of Logic, 45/1, (2016), pp. 33–52

The proof–theoretical analysis of contraction—less relevant logic, Bulletin of the international mathematical virtual institute, ISSN (p) 2303-4874, ISSN (o) 2303-4955 /JOURNALS / BULLETIN Vol. 6 (2016), pp. 1-11

An alternative Gentzenization of $RW_+^\circ$, Mathematical Logic Quarterly, 62, No. 6 (2016), pp. 465-480

An alternative normalization of the implicative fragment of classical logic, (coauthor B. Boričić) Studia Logica, Volume 103, Issue 2, (2015), pp. 413-446, doi: 10.1007/s11225-014-9573-0

A cut-free sequent calculus for relevant logic RW, (coauthor B. Boričić) Logic Journal of IGPL, Vol. 22, No 4, (2014), pp. 673-695

Cut elimination and decidability for classical Lambek logic, Journal of Logic and Computation, Vol. 18, No 1, (2008), pp. 171-199

Theorem provers for substructural logics, Publication de l’Institut Mathématique, tome 82 (96), (2007), pp. 55-78

A tableau based theorem prover for BCK logic, (coauthor M. Kapetanović) Proceedings of XIV Conference on Applied Mathematics PRIM2000, (2001), pp 26-30


Mathematics, (in Serbian, coauthor with B. Boričić and M. Ivović), Faculty of Economics, Belgrade, 2015.