Borisavljevic Mirjana P (2025) Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts, JOURNAL OF LOGIC LANGUAGE AND INFORMATION, vol. , br. , str. - (Article; Early Access) 

Borisavljevic Mirjana P (2023) The Elimination of Maximum Cuts in Linear Logic and BCK Logic, STUDIA LOGICA, vol. 111, br. 3, str. 391-429 (Article) 

Borisavljevic Mirjana P (2022) Maximum Segments as Natural Deduction Images of Some Cuts, LOGICA UNIVERSALIS, vol. 16, br. 3, str. 499-533 (Article) 

Borisavljevic Mirjana P (2021) The subformula property of natural deduction derivations and analytic cuts, LOGIC JOURNAL OF THE IGPL, vol. 29, br. 5, str. 739-768 (Article) 

Borisavljevic Mirjana P (2019) Two Normalizations for Natural Deductions in Sequent Style, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, vol. 6, br. 7, str. 1187-1222 (Article) 

Borisavljevic Mirjana P (2018) An Analysis of the Rules of Gentzen'S Nj and Lj, REVIEW OF SYMBOLIC LOGIC, vol. 11, br. 2, str. 347-370 (Article) 

Borisavljevic Mirjana P (2010) Maximum Cuts in Extended Natural Deduction, PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, vol. 87, br. 101, str. 59-74 (Article) 

Borisavljevic Mirjana P (2008) NORMAL DERIVATIONS AND SEQUENT DERIVATIONS, JOURNAL OF PHILOSOPHICAL LOGIC, vol. 37, br. 6, str. 521-548 (Article) 

Borisavljevic Mirjana P (2006) A connection between cut elimination and normalization, ARCHIVE FOR MATHEMATICAL LOGIC, vol. 45, br. 2, str. 113-148 (Article) 

Borisavljevic Mirjana P (2004) Extended natural deduction images of conversions from the system of sequents, JOURNAL OF LOGIC AND COMPUTATION, vol. 14, br. 6, str. 769-799 (Article) 

Borisavljevic Mirjana P (2003) Two measures for proving Gentzen's Hauptsatz without mix, ARCHIVE FOR MATHEMATICAL LOGIC, vol. 42, br. 4, str. 371-387 (Article) 

Borisavljevic Mirjana P,Dosen Kosta M,Petric Zoran J (2002) Kauffman monoids, JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, vol. 11, br. 2, str. 127-143 (Article)