Mirjana Borisavljevic

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 5

Top Topics

Linear Time Temporal Logic

Automatically Segmented

Proof Procedure

Natural Deduction

Top Venues

Logica Universalis

Rev. Symb. Log.

Publications

Mirjana Borisavljevic
The Elimination of Maximum Cuts in Linear Logic and BCK Logic. Stud Logica 111 (3) (2023)
Mirjana Borisavljevic
Maximum Segments as Natural Deduction Images of Some Cuts. Logica Universalis 16 (3) (2022)
Mirjana Borisavljevic
The subformula property of natural deduction derivations and analytic cuts. Log. J. IGPL 29 (5) (2021)
Mirjana Borisavljevic
Two Normalizations for Natural Deductions in Sequent Style. FLAP 6 (6) (2019)
Mirjana Borisavljevic
An Analysis of the Rules of Gentzen's nJ and LJ. Rev. Symb. Log. 11 (2) (2018)
Mirjana Borisavljevic
Normal Derivations and Sequent Derivations. J. Philos. Log. 37 (6) (2008)
Mirjana Borisavljevic
A Connection Between Cut Elimination and Normalization. Arch. Math. Log. 45 (2) (2006)
Mirjana Borisavljevic
Extended Natural Deduction Images of Conversions from the System of Sequents. J. Log. Comput. 14 (6) (2004)
Mirjana Borisavljevic
Two measures for proving Gentzen's Hauptsatz without mix. Arch. Math. Log. 42 (4) (2003)
Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
On permuting cut with contraction. Math. Struct. Comput. Sci. 10 (2) (2000)
Mirjana Borisavljevic
A Cut-Elimination Proof in Intuitionistic Predicate Logic. Ann. Pure Appl. Log. 99 (1-3) (1999)