еНаука - преглед
Преглед према Аутор Ilić, Mirjana
Приказ резултата 1 до 20 од 44
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2021 | A Cut-Elimination Proof in Positive Relevant Logic with Necessity (✓) | Ilić, Mirjana | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2014 | A cut-free sequent calculus for relevant logic RW | Ilić, Mirjana ; Boričić, Branislav | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2017 | A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic | Ilić, Mirjana | Научни чланак | 23M23 - Рад у међ. часопису |
2017 | A normalizing system of natural deduction for relevant logic | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | A note on an alternative Gentzenization of RW◦ + (✓) | Ilić, Mirjana | Научни чланак | 23M23 - Рад у међ. часопису |
2021 | A note on the system GRW with the intensional contraction rule (✓) | Ilić, Mirjana ; Boričić, Branislav | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2018 | A sequent calculus for positive relevant logic with necessity | Ilić, Mirjana M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | An alternative Gentzenisation of RW+∘ | Ilić, Mirjana | Научни чланак | 23M23 - Рад у међ. часопису |
2016 | An alternative natural deduction for the intuitionistic propositional logic | Isaković-Ilić, Mirjana | Научни чланак | 23M23 - Рад у међ. часопису |
2014 | An Alternative Normalization of the Implicative Fragment of Classical Logic (✓) | Boričić, Branislav ; Ilić, Mirjana | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2014 | An intuitionistic interpretation of classical implication | Boričić, Branislav ; Ilić, Mirjana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2014 | Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole | Isaković-Ilić, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
2008 | Cut elimination and decidability for classical lambek logic | Ilić, Mirjana | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
1996 | Dopuna sistema KE | Ilić, Mirjana ; Bosiočić, Nebojša | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2014 | Is t really needed in formulating sequent calculi for elevant logics? | Isaković-Ilić, Mirjana ; Boričić, Branislav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Matematika | Boričić, Branislav; Ivović, Miodrag; Ilić, Mirjana | Уџбеник | Мп категорија ће бити приказана накнадно. |
2018 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Уџбеник | Мп категорија ће бити приказана накнадно. |
2016 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Уџбеник | Мп категорија ће бити приказана накнадно. |
2012 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Уџбеник | Мп категорија ће бити приказана накнадно. |
2014 | Matematika | Boričić, Branislav ; Ivović, Miodrag; Ilić, Mirjana | Уџбеник | Мп категорија ће бити приказана накнадно. |