A Logic of Extended Probability

This paper shows how the logic of gambles corre sponding to Peter Walley s system of Imprecise Prob ability can be extended to allow gambles involving in nitesimal values and in nite values This logic can then be used for reasoning with in nitesimal probabil ities alongside conventional reasoning with linear con straints on probabilities The proof theory is shown to be sound and complete for nite input sets