Прати
Marija Boricic
Marija Boricic
Faculty of Organizational sciences
Верификована је имејл адреса на fon.bg.ac.rs
Наслов
Навело
Навело
Година
Suppes-style sequent calculus for probability logic
M Boričić
Journal of Logic and Computation 27 (4), 1157-1168, 2017
122017
Inference rules for probability logic
M Boričić
Publications de l'Institut Mathématique 100 (114), 77-86, 2016
112016
Hypothetical syllogism rule probabilized
M Boričić
Bull. Symb. Log 20 (3), 401-402, 2014
102014
Sequent calculus for classical logic probabilized
M Boricic
Archive for Mathematical Logic 58, 119-138, 2019
92019
Models for the probabilistic sequent calculus
M Boricic
Bulletin of Symbolic Logic 21 (1), 60, 2015
92015
On Entropy of a Logical System.
M Boričić
Journal of Multiple-Valued Logic & Soft Computing 21, 2013
52013
Soft outer measure and soft premeasure
MBJ Nenad Stojanovic
Filomat 36, 2129–2141, 2022
2*2022
On basic probability logic inequalities
MB Joksimovic
Mathematics 9 (12), 2021
22021
Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
M Boričić
Probabilistic Extensions of Various Logical Systems, 197-213, 2020
22020
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification
M Boričić
Bulletin of Symbolic Logic 25 (4), 446-447, 2019
22019
A note on entropy of logic
M BORICIC
Yugoslav Journal of Operations Research 27 (3), 385-390, 2017
22017
Saglasnost i potpunost verovatnosnih pravila zakljucivanja
M Boricic
SYMOP-IS 2015, XLII, 586-588, 0
2
Probability and natural deduction
M Boričić Joksimović, N Ikodinović, N Stojanović
Journal of Logic and Computation, exae007, 2024
2024
Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији
M Boričić
Универзитет у Београду, 2016
2016
Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji
M Boričić
Univerzitet u Beogradu-Matematički fakultet, 2016
2016
A calculus of sequents with probability
M Boricic
Logic and Applications, 9, 2015
2015
Ergodičnost i entropija dinamičkih sistema
M Boričić
MATEMATIČKI FAKULTET UNIVERZITETA U BEOGRADU, 2011
2011
Entropy and Ergodic Theory
M Boričić
Information theory and complex systems, 7, 0
Models for sequent calculus with high probabilities
M Boricic
Peta nacionalna konferencija “Verovatnosne logike i njihove primene”, 25, 0
On definition of consistency in a probabilistic sequent calculus
M Boricic
Treca nacionalna konferencija “Verovatnosne logike i njihove primene”, 13, 0
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20