Proof Theoretic Reasoning in System P
Simon Parsons, Rachel A. Bourne · 1999
This paper investigates how the rules of System P might be used in order to construct proofs for default rules which take into account the bounds on the prob-abilities of the consequents of the defaults. The paper defines a proof system, shows that it is sound, and then discusses at length the completeness of the system, and the kind of proofs that it can generate.