An intuitionistic logic with probablistic operators.
Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag
Publications de l'Institut Mathématique. Nouvelle Série, Tome 73(87) (2003), p. 31-38 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 2003-01-01
MISANU-ID : j_publ_0001925
DOI : https://doi.org/10.2298/PIM0373031M
EUDML-ID : urn:eudml:doc:258203 
@article{02099368,
     title = {An intuitionistic logic with probablistic operators.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {73(87)},
     year = {2003},
     pages = {31-38},
     doi = {10.2298/PIM0373031M},
     zbl = {1048.03020},
     language = {en},
     url = {http://dml.mathdoc.fr/item/02099368}
}

Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag. An intuitionistic logic with probablistic operators.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 73(87) (2003) pp. 31-38. doi : 10.2298/PIM0373031M. http://gdmltest.u-ga.fr/item/02099368/