TY  - JOUR
AU  - Ilić-Stepić, Angelina
AU  - Knežević, Mateja
AU  - Ognjanović, Zoran
PY  - 2022
UR  - https://grafar.grf.bg.ac.rs/handle/123456789/2961
AB  - We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic which is a combination of linear programming and an intuitionistic tableaux method.
T2  - Mathematical Logic Quarterly
T1  - Intuitionistic Propositional Probability Logic
VL  - 68
DO  - 10.1002/malq.202100052
ER  - 

@article{
author = "Ilić-Stepić, Angelina and Knežević, Mateja and Ognjanović, Zoran",
year = "2022",
abstract = "We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic which is a combination of linear programming and an intuitionistic tableaux method.",
journal = "Mathematical Logic Quarterly",
title = "Intuitionistic Propositional Probability Logic",
volume = "68",
doi = "10.1002/malq.202100052"
}

Ilić-Stepić, A., Knežević, M.,& Ognjanović, Z.. (2022). Intuitionistic Propositional Probability Logic. in Mathematical Logic Quarterly, 68.
https://doi.org/10.1002/malq.202100052

Ilić-Stepić A, Knežević M, Ognjanović Z. Intuitionistic Propositional Probability Logic. in Mathematical Logic Quarterly. 2022;68.
doi:10.1002/malq.202100052 .

Ilić-Stepić, Angelina, Knežević, Mateja, Ognjanović, Zoran, "Intuitionistic Propositional Probability Logic" in Mathematical Logic Quarterly, 68 (2022),
https://doi.org/10.1002/malq.202100052 . .

TY  - GEN
AU  - Pucanović, Zoran
AU  - Pešović, Marko
AU  - Knežević, Mateja
AU  - Lazarević, Ivan
PY  - 2019
UR  - https://grafar.grf.bg.ac.rs/handle/123456789/1771
AB  - Zbirka zadataka pisana po važećem programu kursa Matematička analiza 1.
T2  - Akademska misao
T1  - Matematička analiza 1. Zbirka rešenih zadataka
UR  - https://hdl.handle.net/21.15107/rcub_grafar_1771
ER  - 

@misc{
author = "Pucanović, Zoran and Pešović, Marko and Knežević, Mateja and Lazarević, Ivan",
year = "2019",
abstract = "Zbirka zadataka pisana po važećem programu kursa Matematička analiza 1.",
journal = "Akademska misao",
title = "Matematička analiza 1. Zbirka rešenih zadataka",
url = "https://hdl.handle.net/21.15107/rcub_grafar_1771"
}

Pucanović, Z., Pešović, M., Knežević, M.,& Lazarević, I.. (2019). Matematička analiza 1. Zbirka rešenih zadataka. in Akademska misao.
https://hdl.handle.net/21.15107/rcub_grafar_1771

Pucanović Z, Pešović M, Knežević M, Lazarević I. Matematička analiza 1. Zbirka rešenih zadataka. in Akademska misao. 2019;.
https://hdl.handle.net/21.15107/rcub_grafar_1771 .

Pucanović, Zoran, Pešović, Marko, Knežević, Mateja, Lazarević, Ivan, "Matematička analiza 1. Zbirka rešenih zadataka" in Akademska misao (2019),
https://hdl.handle.net/21.15107/rcub_grafar_1771 .

TY  - GEN
AU  - Pucanović, Zoran
AU  - Knežević, Mateja
AU  - Pešović, Marko
PY  - 2017
UR  - https://grafar.grf.bg.ac.rs/handle/123456789/1737
AB  - Zbirka zadataka pisana po važećem programu kursa Linearna algebra i statistika.
PB  - Akademska misao
T2  - Akademska misao
T1  - Linearna algebra. Analitička geometrija. Elementi verovatnoće i statistike
UR  - https://hdl.handle.net/21.15107/rcub_grafar_1737
ER  - 

@misc{
author = "Pucanović, Zoran and Knežević, Mateja and Pešović, Marko",
year = "2017",
abstract = "Zbirka zadataka pisana po važećem programu kursa Linearna algebra i statistika.",
publisher = "Akademska misao",
journal = "Akademska misao",
title = "Linearna algebra. Analitička geometrija. Elementi verovatnoće i statistike",
url = "https://hdl.handle.net/21.15107/rcub_grafar_1737"
}

Pucanović, Z., Knežević, M.,& Pešović, M.. (2017). Linearna algebra. Analitička geometrija. Elementi verovatnoće i statistike. in Akademska misao
Akademska misao..
https://hdl.handle.net/21.15107/rcub_grafar_1737

Pucanović Z, Knežević M, Pešović M. Linearna algebra. Analitička geometrija. Elementi verovatnoće i statistike. in Akademska misao. 2017;.
https://hdl.handle.net/21.15107/rcub_grafar_1737 .

Pucanović, Zoran, Knežević, Mateja, Pešović, Marko, "Linearna algebra. Analitička geometrija. Elementi verovatnoće i statistike" in Akademska misao (2017),
https://hdl.handle.net/21.15107/rcub_grafar_1737 .