Mirjana Borisavljević

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Sequent images of normal derivations and natural deduction images of derivations without m-cuts Journal of Logic, Language and Information	2025-10-21	Paper
The elimination of maximum cuts in linear logic and BCK logic Studia Logica	2023-06-28	Paper
Maximum segments as natural deduction images of some cuts Logica Universalis	2022-10-18	Paper
Two normalizations for naturald deductions in sequent style	2022-09-28	Paper
The subformula property of natural deduction derivations and analytic cuts Logic Journal of the IGPL	2021-12-03	Paper
The normalization theorem for extended natural deduction Publications de l'Institut Math?matique (Belgrade)	2021-04-23	Paper
AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> The Review of Symbolic Logic	2018-08-07	Paper
Maximum cuts in extended natural deduction Publications de l'Institut Math?matique (Belgrade)	2014-02-07	Paper
Connections between cuts and maximum segments	2013-01-10	Paper
Normalization as a consequence of cut elimination Publications de l'Institut Math?matique (Belgrade)	2010-01-12	Paper
Normal form theorem for systems of sequents Publications de l'Institut Math?matique (Belgrade)	2008-07-02	Paper
A connection between cut elimination and normalization Archive for Mathematical Logic	2006-03-21	Paper
Minimum segments in sequent derivations Publications de l'Institut Math?matique (Belgrade)	2005-12-16	Paper
Minimum segments in sequent derivations Publications de l'Institut Math?matique (Belgrade)	2005-12-16	Paper
Extended Natural Deduction Images of Conversions from the System of Sequents Journal Of Logic And Computation	2005-03-21	Paper
scientific article; zbMATH DE number 2047280 (Why is no real title available?)	2004-02-26	Paper
Two measures for proving Gentzen's Hauptsatz without mix Archive for Mathematical Logic	2003-09-16	Paper
Kauffman Monoids Journal of Knot Theory and Its Ramifications	2002-07-30	Paper
On permuting cut with contraction Mathematical Structures in Computer Science	2000-07-24	Paper
A cut-elimination proof in intuitionistic predicate logic Annals of Pure and Applied Logic	2000-03-20	Paper
scientific article; zbMATH DE number 1070654 (Why is no real title available?)	1997-10-07	Paper
scientific article; zbMATH DE number 871432 (Why is no real title available?)	1996-08-15	Paper

Research outcomes over time

This page was built for person: Mirjana Borisavljević