Geodesic
An extension of the probability logic $LPP_2$
Kragujevac Journal of Mathematics, Tome 33 (2010), p. 45 .

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

In this paper we present a probability logic which allows Boolean combinations of formulas of the form of $a_1w(\varphi_1)+\cdots+a_kw(\varphi_k)\geq c$, where $\varphi_1,\ldots,\varphi_k$ are propositional formulas, $a_1,\ldots,a_k,c$ are rational numbers. The logic with such syntax was introduced in [1]. We present axiomatic system along with the ideas from [2, 3] and prove extended completeness, instead of simple completeness shown in [1].
Classification : 03B48 60A05
Keywords: Probability logic, Probability model, Linear inequalities involving probabilities 
@article{KJM_2010_33_a3,
     author = {Tatjana Stojanovi\'c and Ana Kaplarevi\'c-Mali\v{s}i\'c and Zoran Ognjanovi\'c},
     title = {An extension of the probability logic $LPP_2$},
     journal = {Kragujevac Journal of Mathematics},
     pages = {45 },
     publisher = {mathdoc},
     volume = {33},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/}
}
TY  - JOUR
AU  - Tatjana Stojanović
AU  - Ana Kaplarević-Mališić
AU  - Zoran Ognjanović
TI  - An extension of the probability logic $LPP_2$
JO  - Kragujevac Journal of Mathematics
PY  - 2010
SP  - 45 
VL  - 33
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/
LA  - en
ID  - KJM_2010_33_a3
ER  - 
%0 Journal Article
%A Tatjana Stojanović
%A Ana Kaplarević-Mališić
%A Zoran Ognjanović
%T An extension of the probability logic $LPP_2$
%J Kragujevac Journal of Mathematics
%D 2010
%P 45 
%V 33
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/
%G en
%F KJM_2010_33_a3
Tatjana Stojanović; Ana Kaplarević-Mališić; Zoran Ognjanović. An extension of the probability logic $LPP_2$. Kragujevac Journal of Mathematics, Tome 33 (2010), p. 45 . http://geodesic.mathdoc.fr/item/KJM_2010_33_a3/