@ARTICLE{
author={Borisavljevic Mirjana P},
year={2025},
title={Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts},
journal={JOURNAL OF LOGIC LANGUAGE AND INFORMATION},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2023},
title={The Elimination of Maximum Cuts in Linear Logic and BCK Logic},
journal={STUDIA LOGICA},
volume={111},
number={3},
pages={391-429},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2022},
title={Maximum Segments as Natural Deduction Images of Some Cuts},
journal={LOGICA UNIVERSALIS},
volume={16},
number={3},
pages={499-533},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2021},
title={The subformula property of natural deduction derivations and analytic cuts},
journal={LOGIC JOURNAL OF THE IGPL},
volume={29},
number={5},
pages={739-768},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2019},
title={Two Normalizations for Natural Deductions in Sequent Style},
journal={JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS},
volume={6},
number={7},
pages={1187-1222},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2018},
title={An Analysis of the Rules of Gentzen'S Nj and Lj},
journal={REVIEW OF SYMBOLIC LOGIC},
volume={11},
number={2},
pages={347-370},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2010},
title={Maximum Cuts in Extended Natural Deduction},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={87},
number={101},
pages={59-74},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2008},
title={NORMAL DERIVATIONS AND SEQUENT DERIVATIONS},
journal={JOURNAL OF PHILOSOPHICAL LOGIC},
volume={37},
number={6},
pages={521-548},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2006},
title={A connection between cut elimination and normalization},
journal={ARCHIVE FOR MATHEMATICAL LOGIC},
volume={45},
number={2},
pages={113-148},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2004},
title={Extended natural deduction images of conversions from the system of sequents},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={14},
number={6},
pages={769-799},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P},
year={2003},
title={Two measures for proving Gentzen's Hauptsatz without mix},
journal={ARCHIVE FOR MATHEMATICAL LOGIC},
volume={42},
number={4},
pages={371-387},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P,Dosen Kosta M,Petric Zoran J},
year={2002},
title={Kauffman monoids},
journal={JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS},
volume={11},
number={2},
pages={127-143},
document_type={Article},
}