Mirjana Ilic

According to our database, Mirjana Ilic authored at least 8 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2023

On Boolean reliability algebra.

Branislav R. Boricic, Mirjana Ilic, Jelena Stanojevic

CoRR, 2023

2021

A Cut-Elimination Proof in Positive Relevant Logic with Necessity.

Mirjana Ilic

Stud Logica, 2021

A note on an alternative Gentzenization of RW + ∘.

Mirjana Ilic

Math. Log. Q., 2021

A note on the system GRW with the intensional contraction rule.

Mirjana Ilic, Branislav R. Boricic

Log. J. IGPL, 2021

2017

A Natural Deduction and its Corresponding Sequent Calculus for Positive Contraction-less Relevant Logic.

Mirjana Ilic

Reports Math. Log., 2017

2016

An alternative Gentzenisation of RW+∘.

Mirjana Ilic

Math. Log. Q., 2016

2015

An Alternative Normalization of the Implicative Fragment of Classical Logic.

Branislav R. Boricic, Mirjana Ilic

Stud Logica, 2015

2014

A cut-free sequent calculus for relevant logic RW.

Mirjana Ilic, Branislav R. Boricic

Log. J. IGPL, 2014