eNauka - pregled
Pregled prema Autor Ilić, Mirjana
Prikaz rezultata 1 do 20 od 46
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2021 | A Cut-Elimination Proof in Positive Relevant Logic with Necessity | Ilić, Mirjana   | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2014 | A cut-free sequent calculus for relevant logic RW | Ilić, Mirjana ; Boričić, Branislav | Naučni članak | 21a+M21a+ - Vodeći međunarodni časopis kategorije M21a+ |
| 2017 | A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic | Ilić, Mirjana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2017 | A normalizing system of natural deduction for relevant logic | Ilić, Mirjana M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | A note on an alternative Gentzenization of RW◦ + | Ilić, Mirjana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2021 | A note on the system GRW with the intensional contraction rule | Ilić, Mirjana ; Boričić, Branislav | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2018 | A sequent calculus for positive relevant logic with necessity | Ilić, Mirjana M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | An alternative Gentzenisation of RW+∘ | Ilić, Mirjana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2016 | An alternative natural deduction for the intuitionistic propositional logic | Isaković-Ilić, Mirjana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2014 | An Alternative Normalization of the Implicative Fragment of Classical Logic | Boričić, Branislav ; Ilić, Mirjana | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2014 | An intuitionistic interpretation of classical implication | Boričić, Branislav ; Ilić, Mirjana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole | Isaković-Ilić, Mirjana | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2008 | Cut elimination and decidability for classical lambek logic | Ilić, Mirjana | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1996 | Dopuna sistema KE | Ilić, Mirjana ; Bosiočić, Nebojša | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Is t really needed in formulating sequent calculi for elevant logics? | Isaković-Ilić, Mirjana ; Boričić, Branislav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2010 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2012 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2011 | Matematika | Boričić, Branislav; Ivović, Miodrag; Ilić, Mirjana | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2018 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Udžbenik | Mp kategorija će biti prikazana naknadno. |