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
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

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.