default search action

combined dblp search
author search
venue search
publication search

ask others

Mirjana Ilic

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-14357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-14357
Branislav R. Boricic, Mirjana Ilic, Jelena Stanojevic:
On Boolean reliability algebra. CoRR abs/2307.14357 (2023)
2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/IlicB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/IlicB21
Mirjana Ilic, Branislav R. Boricic:
A note on the system GRW with the intensional contraction rule. Log. J. IGPL 29(3): 333-339 (2021)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Ilic21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Ilic21
Mirjana Ilic:
A note on an alternative Gentzenization of RW + ∘. Math. Log. Q. 67(2): 186-192 (2021)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Ilic21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Ilic21
Mirjana Ilic:
A Cut-Elimination Proof in Positive Relevant Logic with Necessity. Stud Logica 109(3): 607-638 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j4]
- view
  - electronic edition @ uj.edu.pl (open access)
  - details & citations
- export record
  dblp key:
  - journals/rml/Ilic17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rml/Ilic17
Mirjana Ilic:
A Natural Deduction and its Corresponding Sequent Calculus for Positive Contraction-less Relevant Logic. Reports Math. Log. 52: 101-132 (2017)
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Ilic16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Ilic16
Mirjana Ilic:
An alternative Gentzenisation of RW+∘. Math. Log. Q. 62(6): 465-480 (2016)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BoricicI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BoricicI15
Branislav R. Boricic, Mirjana Ilic:
An Alternative Normalization of the Implicative Fragment of Classical Logic. Stud Logica 103(2): 413-446 (2015)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/IlicB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/IlicB14
Mirjana Ilic, Branislav R. Boricic:
A cut-free sequent calculus for relevant logic RW. Log. J. IGPL 22(4): 673-695 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.