Autori: Boricic Marija
Naslov | Sequent calculus for classical logic probabilized (Article) |
Autori | Boricic Marija |
Info | ARCHIVE FOR MATHEMATICAL LOGIC, (2019), vol. 58 br. 1-2, str. 119-136 |
Projekat | Ministry of Education, Science and Technology of Serbia [174026] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Suppes-style sequent calculus for probability logic (Article) |
Autori | Boricic Marija |
Info | JOURNAL OF LOGIC AND COMPUTATION, (2017), vol. 27 br. 4, str. 1157-1168 |
Projekat | Ministry of Science and Technology of Serbia [179005] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | On Entropy of a Logical System (Article) |
Autori | Boricic Marija |
Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2013), vol. 21 br. 5-6, str. 439-452 |
Projekat | Ministry of Science and Technology of Serbia [174026] |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|