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.
@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
Cité par Sources :