DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Probabilistic logic | Intuitionistic logic | Completeness | Decidability | - |
dc.contributor.author | Marković, Zoran | en |
dc.contributor.author | Ognjanović, Zoran | en |
dc.contributor.author | Rašković, Miodrag | en |
dc.date.accessioned | 2020-02-18T20:06:32Z | - |
dc.date.available | 2020-02-18T20:06:32Z | - |
dc.date.issued | 2003-01-01 | en |
dc.identifier.issn | 0942-5616 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/80 | - |
dc.description.abstract | We introduce a probabilistic extension of prepositional intuitionistic logic. The logic allows making statements such as P ≥s α, with the intended meaning "the probability of truthfulness of α is at least s". We describe the corresponding class of models, which are Kripke models with a naturally arising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable. | en |
dc.publisher | Wiley-VCH Verlag | - |
dc.relation | Methods of Mathematical Logic for Decision Support in Real Life Situations | - |
dc.relation.ispartof | Mathematical Logic Quarterly | en |
dc.subject | Probabilistic logic, intuitionistic logic, completeness, decidability | en |
dc.title | A probabilistic extension of intuitionistic logic | en |
dc.type | Article | en |
dc.identifier.doi | 10.1002/malq.200310044 | en |
dc.identifier.scopus | 2-s2.0-0037703694 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 415 | - |
dc.relation.lastpage | 424 | - |
dc.relation.issue | 4 | - |
dc.relation.volume | 49 | - |
dc.description.rank | M22 | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
26
checked on Jun 1, 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.