Mirjana Borisavljevic

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts.
J. Log. Lang. Inf.
Mirjana Borisavljevic
2023 J jnl
The Elimination of Maximum Cuts in Linear Logic and BCK Logic.
Stud Logica
Mirjana Borisavljevic
2022 J jnl
Maximum Segments as Natural Deduction Images of Some Cuts.
Logica Universalis
Mirjana Borisavljevic
2021 J jnl
The subformula property of natural deduction derivations and analytic cuts.
Log. J. IGPL
Mirjana Borisavljevic
2019 J jnl
Two Normalizations for Natural Deductions in Sequent Style.
FLAP
Mirjana Borisavljevic
2018 J jnl
An Analysis of the Rules of Gentzen's nJ and LJ.
Rev. Symb. Log.
Mirjana Borisavljevic
2008 J jnl
Normal Derivations and Sequent Derivations.
J. Philos. Log.
Mirjana Borisavljevic
2006 J jnl
A Connection Between Cut Elimination and Normalization.
Arch. Math. Log.
Mirjana Borisavljevic
2004 J jnl
Extended Natural Deduction Images of Conversions from the System of Sequents.
J. Log. Comput.
Mirjana Borisavljevic
2003 J jnl
Two measures for proving Gentzen's Hauptsatz without mix.
Arch. Math. Log.
Mirjana Borisavljevic
2000 J jnl
On permuting cut with contraction.
Math. Struct. Comput. Sci.
Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
1999 J jnl
A Cut-Elimination Proof in Intuitionistic Predicate Logic.
Ann. Pure Appl. Log.
Mirjana Borisavljevic