DC FieldValueLanguage
dc.contributor.authorIlić-Stepić, Angelinaen
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorIkodinović, Nebojšaen
dc.date.accessioned2020-02-18T20:06:26Z-
dc.date.available2020-02-18T20:06:26Z-
dc.date.issued2014-01-01en
dc.identifier.issn0888-613Xen
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/32-
dc.description.abstractIn this paper we present the proof-theoretical approach to p-adic valued conditional probabilistic logics. We introduce two such logics denoted by CPLZp and CPLQpfin. Each of these logics extends classical propositional logic with a list of binary (conditional probability) operators. Formulas are interpreted in Kripke-like models that are based on p-adic probability spaces. Axiomatic systems with infinitary rules of inference are given and proved to be sound and strongly complete. The decidability of the satisfiability problem for each logic is proved.en
dc.publisherElsevier-
dc.relationDevelopment of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relation.ispartofInternational Journal of Approximate Reasoningen
dc.subjectConditional probability | p-Adicen
dc.titleConditional p-adic probability logicen
dc.typeArticleen
dc.identifier.doi10.1016/j.ijar.2014.02.001en
dc.identifier.scopus2-s2.0-84908357437en
dc.relation.firstpage1843-
dc.relation.lastpage1865-
dc.relation.issue9-
dc.relation.volume55-
dc.description.rankM21-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0002-9771-1196-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
Show simple item record

SCOPUSTM   
Citations

13
checked on Jun 16, 2024

Page view(s)

88
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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