DC FieldValueLanguage
dc.contributor.authorStojanović, Tatjana-
dc.contributor.authorKaplarević-Mališić, Ana-
dc.contributor.authorOgnjanović, Zoran-
dc.date.accessioned2020-06-15T15:23:54Z-
dc.date.available2020-06-15T15:23:54Z-
dc.date.issued2010-
dc.description.abstractIn 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].-
dc.publisherFaculty of Science, University of Kragujevac-
dc.relation.ispartofKragujevac Journal of Mathematics-
dc.subjectProbability logic | Probability model | Linear inequalities involving probabilities-
dc.titleAn extension of the probability logic $LPP_2$-
dc.typeArticle-
dc.identifier.urlhttps://imi.pmf.kg.ac.rs/kjm/pub/12746211209632_kjom3304.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage45-
dc.relation.lastpage62-
dc.relation.volume33-
dc.description.rankM52-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

37
checked on Nov 28, 2022

Google ScholarTM

Check


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