Proof systems for probabilistic uncertain reasoning
Jeffrey Bruce Paris, Alena Vencovská · Journal of Symbolic Logic · 1998
Abstract The paper describes and proves completeness theorems for a series of proof systems formalizing common sense reasoning about uncertain knowledge in the case where this consists of sets of linear constraints on a probability function.