DC FieldValueLanguage
dc.contributor.authorSavić, Nenaden
dc.contributor.authorDoder, Draganen
dc.contributor.authorOgnjanović, Zoranen
dc.date.accessioned2020-02-18T20:06:24Z-
dc.date.available2020-02-18T20:06:24Z-
dc.date.issued2017-09-01en
dc.identifier.issn0888-613Xen
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/16-
dc.description.abstractWe present a first-order and a propositional logic with unary operators that speak about upper and lower probabilities. We describe the corresponding class of models, and we discuss decidability issues for the propositional logic. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. For some restrictions of the logics we provide finitary axiomatic systems.1en
dc.publisherElsevier-
dc.relationNational Research Fund (FNR) of Luxembourg, project PRIMAT-
dc.relationSwiss National Science Foundation, grant 200021_165549-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
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.relationAdvanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security-
dc.relation.ispartofInternational Journal of Approximate Reasoningen
dc.subjectAxiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilitiesen
dc.titleLogics with lower and upper probability operatorsen
dc.typeArticleen
dc.identifier.doi10.1016/j.ijar.2017.05.013en
dc.identifier.scopus2-s2.0-85020740192en
dc.relation.firstpage148-
dc.relation.lastpage168-
dc.relation.volume88-
dc.description.rankM21-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
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/174008e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.fundingProgramDirectorate for Education & Human Resources-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Education & Human Resources/1740089-
Show simple item record

SCOPUSTM   
Citations

14
checked on Apr 15, 2024

Page view(s)

61
checked on Apr 16, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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