DC FieldValueLanguage
dc.contributor.authorIlić-Stepić, Angelinaen
dc.contributor.authorOgnjanović, Zoranen
dc.date.accessioned2020-02-18T20:06:26Z-
dc.date.available2020-02-18T20:06:26Z-
dc.date.issued2014-01-01en
dc.identifier.issn0350-1302en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/31-
dc.description.abstractWe present two complex valued probabilistic logics, LCOMPB and LCOMPS, which extend classical propositional logic. In LCOMPB one can express formulas of the form Bz,ρα meaning that the probability of α is in the complex ball with the center z and the radius ρ, while in LCOMPS one can make statements of the form Sz,ρα with the intended meaning-the probability of propositional formula α is in the complex square with the center z and the side 2ρ. The corresponding strongly complete axiom systems are provided. Decidability of the logics are proved by reducing the satisfiability problem for LCOMPB (LCOMPS) to the problem of solving systems of quadratic (linear) inequalities.en
dc.publisherMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.ispartofPublications de l'Institut Mathematiqueen
dc.titleComplex valued probability logicsen
dc.typeArticleen
dc.identifier.doi10.2298/PIM1409073Ien
dc.identifier.scopus2-s2.0-84897950147en
dc.relation.firstpage73-
dc.relation.lastpage86-
dc.relation.issue109-
dc.relation.volume95-
dc.description.rankM23-
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
crisitem.author.orcid0000-0002-9771-1196-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

SCOPUSTM   
Citations

18
checked on Jun 14, 2024

Page view(s)

58
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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