| Authors: | Stojanović, Tatjana Kaplarević-Mališić, Ana Ognjanović, Zoran |
| Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts |
| Title: | An extension of the probability logic $LPP_2$ |
| Journal: | Kragujevac Journal of Mathematics |
| Volume: | 33 |
| First page: | 45 |
| Last page: | 62 |
| Issue Date: | 2010 |
| Rank: | M52 |
| URL: | https://imi.pmf.kg.ac.rs/kjm/pub/12746211209632_kjom3304.pdf |
| Abstract: | In this paper we present a probability logic which allows Boolean combinations of formulas of the form of a1w(φ1) +···+akw(φk)≥c, where φ1, . . . , φk are propositional formulas, a1, . . . , ak, care 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]. |
| Keywords: | Probability logic | Probability model | Linear inequalities involving probabilities |
| Publisher: | Faculty of Science, University of Kragujevac |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.