Mirjana Borisavljevic

According to our database, Mirjana Borisavljevic authored at least 11 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

The Elimination of Maximum Cuts in Linear Logic and BCK Logic.

Mirjana Borisavljevic

Stud Logica, June, 2023

2022

Maximum Segments as Natural Deduction Images of Some Cuts.

Mirjana Borisavljevic

Logica Universalis, 2022

2021

The subformula property of natural deduction derivations and analytic cuts.

Mirjana Borisavljevic

Log. J. IGPL, 2021

2019

Two Normalizations for Natural Deductions in Sequent Style.

Mirjana Borisavljevic

FLAP, 2019

2018

An Analysis of the Rules of Gentzen's nJ and LJ.

Mirjana Borisavljevic

Rev. Symb. Log., 2018

2008

Normal Derivations and Sequent Derivations.

Mirjana Borisavljevic

J. Philos. Log., 2008

2006

A Connection Between Cut Elimination and Normalization.

Mirjana Borisavljevic

Arch. Math. Log., 2006

2004

Extended Natural Deduction Images of Conversions from the System of Sequents.

Mirjana Borisavljevic

J. Log. Comput., 2004

2003

Two measures for proving Gentzen's Hauptsatz without mix.

Mirjana Borisavljevic

Arch. Math. Log., 2003

2000

On permuting cut with contraction.

Mirjana Borisavljevic, Kosta Dosen, Zoran Petric

Math. Struct. Comput. Sci., 2000

1999

A Cut-Elimination Proof in Intuitionistic Predicate Logic.

Mirjana Borisavljevic

Ann. Pure Appl. Log., 1999