MIRJANA ILIC PhD
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.
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 www.imvibl.org /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.