Geodesic
An Intuitionistic Logic with Probabilistic Operators
Publications de l'Institut Mathématique, _N_S_73 (2003) no. 87, p. 31 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

A probabilistic extension of intuitionistic logic is introduced. The corresponding completeness and decidability theorems are proven.
DOI : 10.2298/PIM0373031M
Classification : 03B48 03B45 68T27 
@article{10_2298_PIM0373031M,
     author = {Zoran Markovi\'c and Zoran Ognjanovi\'c and Miodrag Ra\v{s}kovi\'c},
     title = {An {Intuitionistic} {Logic} with {Probabilistic} {Operators}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {31 },
     publisher = {mathdoc},
     volume = {_N_S_73},
     number = {87},
     year = {2003},
     doi = {10.2298/PIM0373031M},
     zbl = {1048.03020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM0373031M/}
}
TY  - JOUR
AU  - Zoran Marković
AU  - Zoran Ognjanović
AU  - Miodrag Rašković
TI  - An Intuitionistic Logic with Probabilistic Operators
JO  - Publications de l'Institut Mathématique
PY  - 2003
SP  - 31 
VL  - _N_S_73
IS  - 87
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0373031M/
DO  - 10.2298/PIM0373031M
LA  - en
ID  - 10_2298_PIM0373031M
ER  - 
%0 Journal Article
%A Zoran Marković
%A Zoran Ognjanović
%A Miodrag Rašković
%T An Intuitionistic Logic with Probabilistic Operators
%J Publications de l'Institut Mathématique
%D 2003
%P 31 
%V _N_S_73
%N 87
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0373031M/
%R 10.2298/PIM0373031M
%G en
%F 10_2298_PIM0373031M
Zoran Marković; Zoran Ognjanović; Miodrag Rašković. An Intuitionistic Logic with Probabilistic Operators. Publications de l'Institut Mathématique, _N_S_73 (2003) no. 87, p. 31 . doi : 10.2298/PIM0373031M. http://geodesic.mathdoc.fr/articles/10.2298/PIM0373031M/

Cité par Sources :