Browsing by Author Boričić Joksimović, Marija
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) | Contributor(s) | Rank |
|---|---|---|---|---|
| 2013 | On Entropy of a Logical System | Boričić, Marija | M21 | |
| 2016 | Inference rules for probability logic | Boričić, Marija | M24 | |
| 2016 | Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji | Boričić, Marija | Ikodinović, Nebojša; Božić, Milan; Ognjanović, Zoran; Marković, Zoran | |
| 2017 | A note on entropy of logic | Boričić, Marija | M24 | |
| 2017 | Suppes-style sequent calculus for probability logic | Boričić, Marija | M21 | |
| 2019 | Sequent calculus for classical logic probabilized | Boričić, Marija | M23 | |
| 2020 | Probabilized sequent calculus and natural deduction system for classical logic | Boričić, Marija | ||
| 2021 | On Basic Probability Logic Inequalities | Boričić Joksimović, Marija | aM21 | |
| 2022 | Soft Outer Measure and Soft Premeasure | Stojanović, Nenad; Boričić Joksimović, Marija | M22~ |