Open AccessBayesian Propositional Logic
Author(s) -
Tomasz Jarmużek,
Mateusz Klonowski,
Jacek Malinowski
Publication year - 2017
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.46.3.4.01
Subject(s) - intersection (aeronautics) , probabilistic logic , propositional calculus , propositional formula , mathematics , discrete mathematics , propositional variable , computer science , theoretical computer science , intermediate logic , artificial intelligence , description logic , engineering , aerospace engineering
We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.