Autori: Borisavljevic Mirjana P
| Naslov | The Elimination of Maximum Cuts in Linear Logic and BCK Logic (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | STUDIA LOGICA, (2023), vol. 111 br. 3, str. 391-429 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Maximum Segments as Natural Deduction Images of Some Cuts (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | LOGICA UNIVERSALIS, (2022), vol. 16 br. 3, str. 499-533 |
| Projekat | TEX-pert |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | The subformula property of natural deduction derivations and analytic cuts (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | LOGIC JOURNAL OF THE IGPL, (2021), vol. 29 br. 5, str. 739-768 |
| Projekat | Ministry of Education, Science and Technological Development, Serbia [174026] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Two Normalizations for Natural Deductions in Sequent Style (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, (2019), vol. 6 br. 7, str. 1187-1222 |
| Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [174026] |
| Ispravka | ISI/Web of Science Elečas Rang časopisa |
| Naslov | An Analysis of the Rules of Gentzen'S Nj and Lj (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | REVIEW OF SYMBOLIC LOGIC, (2018), vol. 11 br. 2, str. 347-370 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Maximum Cuts in Extended Natural Deduction (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2010), vol. 87 br. 101, str. 59-74 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | NORMAL DERIVATIONS AND SEQUENT DERIVATIONS (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | JOURNAL OF PHILOSOPHICAL LOGIC, (2008), vol. 37 br. 6, str. 521-548 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A connection between cut elimination and normalization (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | ARCHIVE FOR MATHEMATICAL LOGIC, (2006), vol. 45 br. 2, str. 113-148 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Extended natural deduction images of conversions from the system of sequents (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2004), vol. 14 br. 6, str. 769-799 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Two measures for proving Gentzen's Hauptsatz without mix (Article) |
| Autori | Borisavljevic Mirjana P |
| Info | ARCHIVE FOR MATHEMATICAL LOGIC, (2003), vol. 42 br. 4, str. 371-387 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
