ILIĆ DR MIRJANA

Kabinet:410

Telefon:3021170

Vreme prijema:utorak 12-14

Imejl:mirjana.ilic@ekof.bg.ac.rs

Predmeti

Matematika

Diskretna matematika

Mathematics, LSE

Bibliografija

Radovi u časopisima

A note on an alternative Gentzenization of $RW_+^\circ$, Mathematical Logic Quarterly, (2021), 67(2), pp. 186-192, doi:10.1002/malq.202000086

A cut-elimination proof in positive relevant logic with necessity, Studia Logica, (2021), 109(3), pp. 607-638, doi.org/10.1007/s11225-020-09920-3

A note on the system GRW with the intensional contraction rule, Logic Journal of IGPL, (2021). 29(3), pp. 333-339, doi.10.1093/jigpal/jzaa002 (koautor B. Boričić)

A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logics, Reports on Mathematical logic, (2017), 52, pp. 93–124.

The proof—theoretical analysis of contraction—less relevant logic, Bulletin of the international mathematical virtual institute, (2016) 6, pp. 1-11.

An alternative natural deduction for the intuitionistic propositional logic, Bulletin of the Section of Logic, Department of Logic, University of Lodz, (2016), 45(1/1), pp. 33–51.

An alternative Gentzenization of $RW_+^\circ$, Mathematical Logic Quarterly, (2016), 62 (6), pp. 465—480.

An alternative normalization of the implicative fragment of classical logic, Studia Logica, (2015), 103(2), pp. 413-446. (koautor B. Boričić)

A cut-free sequent calculus for relevant logic RW, Logic Journal of IGPL, (2014), 22(4), pp. 673-695. (koautor B. Boričić)

Cut elimination and decidability for classical Lambek logic, Journal of Logic and Computation, (2008), 18(1), pp. 171-199.

Theorem provers for substructural logics, Publications de L’Institut Mathematique, (2007), 82(96), pp. 55-78.

Neki važniji ostali radovi

O prvom izvodu funkcije kroz primere, Tangenta, Društvo matematičata Srbije, Beograd, 85/1, (2016)

Nastava matematike na Ekonomskom fakultetu u Beogradu, od osnivanja do danas, Nastava matematika, Društvo matematičata Srbije, Beograd, ISSN 0351-4463, tom 60, sveska 1-2, (2015) str. 40–47.

Brojni sistemi sa osnovom manjom od 10, kao jedan tip novog korisnog zadatka, u nižim razredima osnovne škole, Nastava matematike, Društvo matematičata Srbije, Beograd, ISSN 0351-4463, tom 59, sveska 3, (2014), str. 25-31.

Substructural logics admitting cut elimination, International Congress of Mathematicians, 2006, abstract, www.icm2006.org (koautor M. Kapetanović)

A tableau based theorem prover for BCK logic, Proceedings of XIV Conference on Applied Mathematics PRIM’2000, 2001, pp. 26-30 (koautor M. Kapetanović)

Automatsko dokazivanje teorema za predikatsku logiku bez kontrakcije, Zbornik apstrakata X kongresa matematičara Jugoslavije, (2000), str. 14 (koautor M. Kapetanović)

Saopštenja na konferencijama

Gentzenizing R, Logical Perspectives 2021 Workshop, (2021), Moscow, Russia

On sequent calculi proofs in relevant logics, International workshop on Structures and Deduction, (2019), Dortmund, Germany

A sequent calculus for positive relevant logic with necessity, Conference on Mathematical Logic, (2018), Niteroi, Brazil

A normalizing system of natural deduction for relevant logic, Logic Colloquium, (2017), Stockholm, Sweden

A natural deduction system for positive contractionless relevant logic, Colloquium Logicum, (2016), Hamburg, Germany

Sequent calculi for contraction–less relevant logics, JAIST Logic Workshop Series (2015), Constructivism and Computability, Kanazawa, Japan

Is t really needed in formulating sequent calculi for relevant logics?, Colloquium Logicum (2014), Neubiberg, Munich, Germany

Problems in formulating the consecution calculus of the contraction-less relevant logics, Second International Conference Logic and Applications (2013), Dubrovnik, Croatia

Sequents of sequent systems for relevant logics, European Women in Mathematics 2011, Bellaterra, Barcelona, Spain

Substructural logics admitting cut elimination, International congress of mathematicians 2006, Madrid, Spain

Automatsko dokazivanje teorema za predikatsku logiku bez kontrakcije, 10. kongres matematičara Jugoslavije 2000, Beograd

A tableau based theorem prover for BCK logic, XIV Conference on Applied Mathematics PRIM’2000, Budva, Crna Gora

Knjige i zbirke zadataka

Matematika, udžbenik, Ekonomski fakultat, Beograd(koautor sa B. Boričić i M. Ivović)

Zbirka zadataka iz matematike, Ekonomski fakultet, Beograd, (koautor sa B. Boričić, M. Ivović, D. Azdejković i J. Stanojević)

Projekti

Reprezentacija logičkih struktura i formalnih jezika i njihove primene u računarstvu, Ministarstvo prosvete, nauke i tehnološkog razvoja Republike Srbije