DC Field | Value | Language |
---|---|---|
dc.contributor.author | Marković, Zoran | - |
dc.contributor.author | Ognjanović, Zoran | - |
dc.contributor.author | Rašković, Miodrag | - |
dc.date.accessioned | 2020-06-15T15:23:18Z | - |
dc.date.available | 2020-06-15T15:23:18Z | - |
dc.date.issued | 2002 | - |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3014 | - |
dc.description.abstract | We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as P≥sA, with the intended meaning "the probability of truthfulness of A is greater than or equal to s. We describe the corresponding class of models, which are Kripke models with a naturally arrising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable. | - |
dc.publisher | ICEST | - |
dc.relation | Methods of Mathematical Logic for Decision Support in Real Life Situations | - |
dc.subject | probabilistic logic | intuitionistic logic | completeness | decidability | - |
dc.title | A probabilistic logic based on propositional intuitionistic logic | - |
dc.type | Conference Paper | - |
dc.relation.conference | 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia | - |
dc.identifier.url | http://rcvt.tu-sofia.bg/WSI.14.pdf | - |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 784 | - |
dc.relation.lastpage | 787 | - |
dc.description.rank | M33 | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Conference Paper | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.