|Affiliations:||Mathematical Institute of the Serbian Academy of Sciences and Arts||Title:||A probabilistic logic based on propositional intuitionistic logic||First page:||784||Last page:||787||Conference:||37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia||Issue Date:||2002||Rank:||M33||URL:||http://rcvt.tu-sofia.bg/WSI.14.pdf||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.
|Keywords:||probabilistic logic | intuitionistic logic | completeness | decidability||Publisher:||ICEST||Project:||Methods of Mathematical Logic for Decision Support in Real Life Situations|
Show full item record
checked on May 21, 2022
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.